3 ms·

I think there's some considerable debate about that. "User" is quite common, and certainly not wrong.