Hello! And merry new year! :-) The (distro ...) name for modules of the distro wasn’t meant to last. Initially, I thought we could find a name for the distro, and substitute that name to “distro”. Possible names: • Jinn, as in “Jinn is not Nixpkgs/NixOS”; • Guixotic, as Guix + Exotic (suggested by RMS). However, I’ve come to think that we don’t necessarily need a separate name for the distro, but we do need a name for the module name space. The obvious solution would be (gnu ...). There’d be modules like (gnu packages openssl), which does not mean that OpenSSL is a GNU package, but I think that should be clear in this context. Anyway, that’s the option that I like the most currently. Thoughts? Ideas? Thanks, Ludo’.