re: https://tildes.net/~tildes/oz/bug_ordered_list_displays_differently_on_post_comments_and_in_comment_history