[doc] More fiddling with footnote number positioning.