@discord new font is cool but I like the old one more, could we have the option to change between fonts? I don't think that'd be difficult to implement, we already have similar features