Give precedence to html_root_url over --extern-html-root-url by default, but add a way to opt-in to the previous behavior - #82776
Merged