Stefan Pöschel

Ah, I see, the JavaScript data types... :-/ As a quick fix, would it possibly make sense to just apply rounding to a meaningful number of decimal places here, to...

OK, good to know. Do you maybe plan to apply such fix also to the present repo?

It should be noted that there is unfortunately another undesired side effect when Saxon is used: When a rule context targets e.g. the document node or an attribute node, such...

It seems that during conversion always the numeric reference `_Num...` is chosen. Also if no header numbers are in use (like in the first example) - in which case the...

It is some time ago that I used the plugin and applied the described fix. While I'm not 100% sure, I currently don't recall any problems though.

Adding to 3.9.2 seems reasonable to me.

Ah indeed, `gh-pages` has also to be considered. > Or solve this and #458 by changing `$BUILDDIR` to `/build/sphinx` in the `docs/Makefile` and updating the links in `index.html`? [furthermore, [the...

For a Docker image any dependencies/cache files/repo files that are not needed in such a case should not be included into the image (or removed during the same `RUN` command,...

It seems that links to any files in an ancestor folder are not possible. I tried myself (without success) and also found https://github.com/sphinx-doc/sphinx/issues/701.

It is a bit annoying that such links aren't possible. On the other hand, it is probably OK to not have a link back, as all the other (external) link...