Further attempts at github-friendly footnotes.