My local nixpkgs, perhaps to be uploaded to the global nixpkgs