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
