htmldoc: update urls

Closes #19517.