@stbc I wrote that, nice to hear it's useful.

You might also like https://pachli.app which lets you change the font too (as well as many other accessibility improvements).