Except that
- The driver disc from archive.org still works just fine
- I do use Linux, and it “just works” there, except for high DPI
So if I want to use high DPI, I need Windows in VirtualBox.
By the way, the high DPI mode takes 20 minutes to print one A4 page. But the result is really damn sharp, almost like a laser printer.