[proverbialbunny]

I'm not sure how easy it is in Linux to run different monitors at different DPI, so I'd keep that in mind.