…continuing the discussion from graphviz!1375…
@mark, ah right, sorry I was not watching the graphviz.gitlab.io repo. I guess the changes afoot in graphviz.gitlab.io#9 and your other open issues are what @scnorth was referring to.
I think we should at least fix the URLs in the man pages before the next release. I know just enough HTML to be dangerous and I know next to nothing about modern web dev, so I think I’ll stay away from changes to the website itself.
If I update graphviz!1375 to touch the man pages but not the HTML, do you both think that’s preferable for now? Also what about the tex files?