Did they really do that, or did the tubes just ran at 2x vertically stretched 640x240 with vertical pixel shift? A lot of technical descriptions of CRTs seem to be adapted from pixel addressed LCDs/OLEDs, and they don't always seem to capture the design well

They did exactly what you say. Split the image and pixel shift. It was not like 30Hz at all.