Ricardo Wurmus writes: > To completely hide a package from the UI use “hidden-package” or > “(properties ((hidden . #t)))”. This is great, didn't know that! Is it in the manual? -- Pierre Neidhardt https://ambrevar.xyz/