3 ms·

I think their point was that number of people who use nix is a rounding error, perhaps due to poor user experience.