I'm done with dual-booting.
Linux might be the better choice after all.
This lightweight Linux distro I tried can run on older machines - but looks modern ...