World of Diving: This shader wasted hours yesterday

I'd deleted this and made progress, but hadn't deleted it from git.
After copying all the shaders in from git this one came back and I
didn't realise, wasting a lot of my day.
World of Diving: Auto-fix vertex shaders

My script paid off big-time. As far as I can tell all remaining surfaces
are now fixed :)