Comment by austhrow743

I think the font thing might be a failure in displaying properly rather than an intentional choice. It's no smaller than the font here on HN or anywhere else for me.