On Sat, Jan 28, 2023 at 9:37 PM Stefan van der Walt <stefanv@berkeley.edu> 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.