Thanks for this proposal. Good job.
We are still hesitating about replacing the original font by yours. For the footprint in FLASH, there is no difference (the table is smaller but the management is more complex).
One issue is the management of the 'proportional' aspect. In some cases (see the 'about' menu), a proportional font is more difficult to handle (when there is a need for positioning).
Now who prefer your smaller and nicer font? Small is nice but more difficult to read.
We could try to vote.... If anybody strongly prefers either one or the other font, please let us know.