https://wg21.link/P1180R0 is a paper from 2018 about the module preamble that never got seen. Thomas has resurrected it and we'll discuss how such a change would help with tooling for modules.