dotty online documentation is missing API documentation for dotty-interfaces

[smarter]

This is the only officially supported API, so it's kind of ironic that we don't display its documentation at all :). I think this points to an issue with the way dottydoc works currently: it mixes API docs with human-written documentation. Instead I think it would make sense if http://dotty.epfl.ch/docs/ did not directly contain any API documentation but instead had links to http://dotty.epfl.ch/docs/dotty-interfaces and http://dotty.epfl.ch/docs/dotty-compiler, etc.

[Varunram]

@smarter Is this a novice issue or one reserved for experts? Please do add a tag :) Thanks!

[smarter]

Not reserved for experts but not very simple either, we need to discuss what the best way to present the documentation is, and then implement it.

[nicolasstucki]

As mentioned in #4918 the dotty library docs are also missing.