Convert html links to intra-doc links
Convert html links to intra-doc links: a task in repo2rlenv-pr-diff (Harbor dataset). Title: Convert html links to intra-doc links
The task
**Title:** Convert html links to intra-doc links
Part of FineEnvs/repo2rlenv-pr-diff.