unless we give it higher priority, which we probably shouldn't as it wouldn't be semantic.
Depends how you look at it, it's not like it's just Geany trying to force application default styles on a user, rather it's providing the _USER_ a GUI to _OVERRIDE_ the theme font, so priority higher than 800 might make some sense.