Your comments

Yes but there is a problem with the platform settings. They are only read from the `Defaults` folder and not from the `User` folder (

I use a vcs to sync my settings between a Mac a Win system and my Linux notebook and unfortunately the same font is displayed differently on all systems.