doc-gen bracket rendering

Stream: general

[Yaël Dillies]

If you look at docs#Profinite, you'll see (is_totally_disconnected : totally_disconnected_space ↥(self.to_CompHaus)). But actually the definition uses [is_totally_disconnected : totally_disconnected_space ↥(self.to_CompHaus)]. Do we want to fix doc-gen to correctly show the bracket types of the constructor?

[Eric Wieser]

Right now it also doesn't show the name of the constructor