[tashmahalic]

I do think it's a good idea to have a starter thread and starter comment for each topic. Stay tuned for that.

You may be right about the font size. For now, Grok's larger font size is deliberately lower density. It's meant to encourage conciseness, be comfortable to read, and avoid overwhelm.

One guideline I'm trying to respect is what UX people claim is the ideal text line width: 50-75 chars. Wikipedia, on other hand, is ~279 chars on my present screen (it scales with screen width), which feels awkward to me.