new option (within o1): force normal font weight (no bold) + iOS Settings menu items rearrange
defaults for options (iOS app)
Merge remote-tracking branch 'juraj/master'
iOS: fix build errors
iOS: support “force normal font” and “night mode” options
iOS: add more fonts to font chooser