Implements pagedown, a fully-fledged markdown editor, for the submission comments.