Fixed an auto-scrolling bug in the HTMLChatPanel.
Added mistake markers and fading checkmark to GUI. Server is still too
overzealous about clearing the drawing panel.
Minor logging modifications.