Better GitHub editing: Tab-indent markdown lists, monospace editor, Ctrl+; to search issue links, 'e' to quick-edit comments.
