Comment by JKCalhoun

Yeah, changing the font size doesn't sound like it belongs in a plug-in, long term.

IGNORE: Now, if only DeepSeek Harness were open source…

(EDIT: DeepSeek Harness is open source—I missed it).