3 ms·

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