There is a way to let a module.xml point to Maven GAV coordinates instead of a provided JAR. The module environment will then fetch that JAR automatically. This would allow us to provide a much smaller module ZIP.

Question: Should we fully rely on this or provide the full ZIP as an alternative, too? I am not familiar with that new mechanism, so I don't know whether it requires a local Maven install (which may not be the case in prod environments) or works with Aether or whatever programmatic resolver, not requiring a local Maven install.