14:15 <worldofpeace> piegames[m]: responded on the PR

14:20 <worldofpeace> hmm, I also just thought of something else with uuid's. If we get declarative extensions, which is already in home-manager... the uuid is what needs to be used to enable them with `/org/gnome/shell/enabled-extensions`

14:22 <worldofpeace> oh, it's not merged https://github.com/nix-community/home-manager/pull/1795/files

14:23 <worldofpeace> but it does depend on `uuid` being in `passthru`

14:24 <worldofpeace> I think that could easily be `pname` then, and what people use in their "future hypothetical configurations"

14:25 <worldofpeace> anyways, that's relevant for a later further discussion on migration, which will be pretty straightforward once overriding is possible