Docs show overly simplistic theorem statement

Stream: general

[Eric Wieser]

Just looked at docs#module_ext - the version visible in the docs has the same LHS and RHS, since the instance annotations are missing.

[Bryan Gin-ge Chen]

Please open an issue for this in the doc-gen repo. Github is generally a better place to track bugs like this than Zulip.

[Eric Wieser]

https://github.com/leanprover-community/doc-gen/issues/78