There is already another thing called "dex" that manipulates .desktop files, so I called this one "dex-oidc" in all-packages.nix.
Benjamin Staffin