Agreed…
Even VW’s new DSG shifts faster than regular manual. Proven on Best motoring when they had two Golfs, one with DSG and one with Manual.