OR: Someone please file a PR against GitHub's text renderer (apparently totally doable, according to one of our colleagues there)