I’ve long campaigned for West End theatres to be properly refitted, not just patched up along the way. I’ve also kept wondering