fix: Ensure more doc/html links stay in doc/html#10022

martinthomson wants to merge 2 commits intoietf-tools:mainietf-tools/datatracker:mainfrom

martinthomson:dt-linksmartinthomson/datatracker:dt-linksCopy head branch name to clipboard