But there still seems to be some issues with the relative font scaling. I have to crank up the base font size quite a bit in order to get a decent size for the editor, but then fonts are huge in all the other places. It can be fixed for posts and comments since they have their own options for it, but not for UI elements like the settings menu.
I think what's missing is a dedicated setting for the editor font scaling, or making it the same as post/comment font size.