Your comments

This is not the same as pressing Ctrl-0 in a browser. Instead, it removes the font_size and font_options from your user preferences file, thereby falling back to the app defaults. So if you want to use anything other than 10pt with no subpixel antialiasing, etc, then unfortunately this isn't a good solution.