Richer Ticket Descriptions and Comments

Ticket descriptions and comments now render full formatting: headings, lists, links, and code. Descriptions can be five times longer, the editor grows as you type, and tickets show the assignee by name.