How to configure Raspberry Pi 4 servers such that an HDMI monitor can be hot-plugged

Discusses disk issues encountered while upgrading a Pi 3 to a Pi 4