The official images of the Raspberry Pi OS are still 32-bit but there is a beta 64-bit version that I have been using on an SSD connected to a Raspberry Pi 4. When the 64-bit version was first released RealVNC Server was not available so I have been using x11vnc to remote connect to the Pi. Today I learned that RealVNC Server is now available for the beta but has to be enabled via the terminal using raspi-config, so I switched. I don’t know whether anyone else will find this useful, but it feels like RealVNC is faster than x11vnc.