Cosmetic changes alternate taps doc

Regarding the footnote syntax change: even though the current syntax is valid markdown (in some parsers), github does not consider it, which makes it a bit cumbersome. Since it’s not giving us any technical advantage, setting it to have a more literary appearance makes it has some benefits (appearance-wise).