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.

Version: unspecified
Severity: enhancement