fix: rewrite all doc-relative links in header HTML, fix glossary link#802

kim-em wants to merge 1 commit into

lean4leanprover-community/leanprover-community.github.io:lean4from

fix-dead-linksleanprover-community/leanprover-community.github.io:fix-dead-linksCopy head branch name to clipboard