I am wondering what is the general feeling about adding additional packages as dependencies to the documentation build.
Generally, we’ve been very conservative in Documenter, since every additional dependency is something that can break and, in turn, break the Base docs every time something slightly non-trivial is getting merged into
master. However, that might not really be relevant in the post-1.0 era, especially since the package versions are pinned.
The question is prompted by:
Related to that PR, it might be nice to have HTTP.jl as a dependency too, but it is quite a bit bigger and would also bring in IniFile, MbedTSL, BinaryProvider as downstream dependencies.