Last modified: 2009-08-17 16:08:28 UTC
Need to find a way to make the edit box smaller, as the huge edit box is manifestly excessive for leaving quick comments. Also helps people understand that it's a discussion forum, not a wiki page.
(Batch change) These bugs are, or are related to, my current priorities.
Fix committed in r55190.