We don’t exactly, but it’s possible to make arbitrary changes to the Haddock html before uploading it.
5 Likes
We don’t exactly, but it’s possible to make arbitrary changes to the Haddock html before uploading it.