Closed mcognetta closed 2 years ago
Ah, I believe some (all?) of these are fixed in #926, but they haven't been deployed to a version. If that is the case, I will close this issue.
ah thanks for this, Yes #926 fixes everything but I hadn't realised the build failed due to some bug with TikzPictures; will investigate and fix this. Thanks @mcognetta
fixed now + bug report filed @ TikzCD (https://github.com/JuliaTeX/TikzCDs.jl/issues/8)
On the RSS doc page there are a number of dead links:
At the very bottom:
Both links are to deleted pages.
Then, the RSS dedicated page, here, is empty. It is linked to in the following snippet: