I found the problem with VNC on Shellx and it is now repaired. The problem is that an update overwrote /etc/gdm/custom.conf with a new version lacking some of the necessary entries.
So now on shellx, 4 different Remote Desktop protocols are available, NX (3.5 version), X2Go, RDP, and VNC.