James Addison

Rebased against `sphinx_rtd_theme` v3.0.1, and rebuilt the `theme.js` file since previous commit -- no changes. Test results when self-building the `sphinx_rtd_theme` documentation (in this repo) using Sphinx v8.1.3: **Before (buggy)**...

Note: based on the [dependency deprecation history](https://github.com/readthedocs/sphinx_rtd_theme/blob/5db7796b6e9928cd12b9e0f7a0b74b79af7bccc5/docs/development.rst?plain=1#L66-L70) for the project, I'd anticipate that the very earliest that this could be merged would likely be for a 4.0 release.

Hi @goandgit - thanks for digging into this, and I'm sorry for taking so long to reply. To check whether I'm up-to-date on the details: it seem like one top-level...

cc @blendogames @flibitijibibo

One more ping @blendogames @flibitijibibo - unless it's intended that they're removed for QC for some reason, I think it's probably worth including some additional terms from iD's GPL license...

I recently learned that the GPLv3 does allow removal of additional terms under some circumstances; again I'm not an expert, but that may be relevant. There is a mention on...

No problem! Thank you @flibitijibibo

There are two changes in this PR; one that I'm fairly sure is OK, and one that I _originally_ thought was OK, but that I've become less confident about. They...

(thanks for inspecting the diff @flibitijibibo; my apologies though, I should have learned more about the additional licensing terms before opening this in the first place)

Thanks for the feature request / bugreport! Do you expect to ignore additional URI schemes other than `man:` when using this? The reason I ask is that it would be...