Emacs port of CloseCommentTag