The aspect ratio is correct on all screenshots and are accurate de-interlaced representations of a 640x400/512 workbench setup, even though these particular screenshots are in RTG dimensions.
Interlaced workbench setups weren't uncommon. I ran such on and off for years for certain productivity stuff where I needed more screen real estate, until I decided to spend money on a flicker-fixer.