CRTs were still commonplace though based on the bios dates in the blog. So 720x400 would still have been well supported. It’s strange that they did this!