stream or topics?

Stream: mathlib documentation

[Scott Morrison]

I'm dubious that it's actually a good idea to make a separate stream for mathlib documentation. Streams are intended to reduce visibility of some content, not increase it (unless we add it as a default stream for everyone).

[Scott Morrison]

And I think everyone agrees that documentation needs more attention and work and love. :-)

[Polina Boneva]

you might be right, I'm open to whatever you guys decide is best for readability and organization everyone is used to