However, it seems it has another side effect: the hidden sub-documents also do not show up on higher-level ToC's, that are themselves not hidden.
Suppose I want to have a sub-toctree, and I want to not add a visible ToC at the place of that directive, but I /do/ want the toctree entries to show up at a higher level (for example, a documentation-global table of contents), how should I do that?
Best, Sidney