doc: heed RTD admonition regarding the deprecation of html_base_url#4627

Merged

jiceatscion merged 3 commits intoscionproto:masterfrom jiceatscion:rtd_chg

Sep 19, 2024

+9

Commits on Sep 19, 2024

Heed RTD admonition regarding the deprecation of html_base_url.
jiceatscion
committed
Remove change advised by RTD but not applicable to us.
jiceatscion
committed
Restore the change regarding html_context (but correctly this time).
jiceatscion
committed