Is that the lock stanza you had in mind?
I have yet to exercize it though (in docker for example).
Another thing comes to mind, regarding the opam maintenance. I need to stop the loaders
from doing their own maintenance work (diff coming) because the lister should have done
it already.
I think it's fine for the lister to actually do that maintenance since that allows those
to run from another environment where no extra maintenance exists (e.g docker). For the
production part, there is D6305 which should be in charge of it (that currently installs
the opam root dir on all workers so they can do their job).