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.

Stéfan