Module footnote 

脚注：label → 锚点 id 与引用/定义/回链 HTML 片段。

Functions

footnote_id 🔒

将脚注 label 转换为可用于 HTML id / href 锚点的安全标识符。

push_backlinks 🔒

输出脚注定义末尾的回链序列。

push_definition_open 🔒

输出脚注定义的开启标签（<aside> + 编号 <sup>）。

reference_html 🔒

脚注引用的上标 HTML：id 为 label 的锚点 id，n 为本 label 的第 n 次引用（1-based）， num 为显示编号。