docs-site
docs-site copied to clipboard
adding-anywhere-footnote
Adding support for footnotes that can appear anywhere on the page.
I think the steps to get this merged in are:
-
PR in e.g. docs-server that makes use of it, along with a preview. Get the PR approved by one other person working on docs-server.
-
docs-ui PR merged
-
update this PR with new UI version number and then merge.
I think 1) is important because we don't want the complexity of extensions added just "on the off chance", but because they have a recognized benefit to the team.