Comment by thataccount

1 day ago

Ah. That would have been good to know! I was looking mostly in the interface for a font size tweaker of some kind.

0 comments