javascript
// 1. Export your richtext document to html.
// 2. Run the following code inside your browser.
// 3. Copy paste the whole html tag from devtools or just select all text with Command+A.
document.querySelectorAll("a").forEach(e=>e.innerText = e.href)