Recording a whole virtual desktop with XVnc (vncserver) and vnc2swf

Here is how to record a VNC virtual desktop with XVnc (vncserver) and vnc2swf:

This is the generated movie: