On Sat, Jan 28, 2023, at 15:40, Ralf Gommers wrote:
On Sat, Jan 28, 2023, at 13:05, Pamphile Roy wrote:
At the moment, we have a long list which includes most/all submodules as well. I would propose to remove all submodules to only keep top level modules.
That looks like a clear improvement; thanks.
It looks like only a minor gain. What would be much more effective I think is to only list the module names in the sidebar. That will be a lot more readable because every entry will be one line and because all submodules will line up nicely.
I'm trying to understand how what you're proposing is different from Pamphile's quote above. Sorry for being dense!
Perhaps you mean Pamphile's suggestion but also removing any extra text?