Work around numbered list rendering bug in github