Apparently github doesn't understand org footnotes