PR #5513 HTML foundations

HTML 导出相关功能, 具体支持情况见 Tracking issue for HTML export.

与 HTML 导出相关的 PR 还有 #5522, #5524, #5525, #5530, #5532, #5533, #5594, #5619, #5661, #5665, #5666, #5673, #5676, #5744, #5745.

此外, 还添加了 set document(description: str), 用于为 PDF 和 HTML 输出设置文档描述.