I'd like to access the default running (vs virtual) X desktop session (the one that is visible over HDMI) over VNC - basically to use my laptop as kbd+mouse while enjoying the big TV screen connected to my Pi. I don't want to invest in extra kbd+mouse for Pi, when several network-connected laptops are available.
All those tutorials for installing and setting up tightvnc seem to be designed for those who want truly headless setup. And I don't see how I can run the tightvnc server in order to access to the active real X session.