gwern comments on Conventional footnotes considered harmful