My other feature request I have for Local is that it would be really nice if it were possible to edit the size of the font (I find it too small!) and the font type.
These options would fit naturally into the “appearance and behavior” menu under the theme preference.
