Win7 Aero disabled due to mirror drivers following TightVNC use, cannot re-enable

Solution 1:

Worked it out myself, based on the answer I linked to in the question: in Windows Device Manager under Display adapters, disable "Mirage Driver".