Wonderful. If Nixpkgs would leave, I could finally start considering deleting this account with Microsoft.