3 ms·

Yeah, the rust devs have said a number of times they're going to change the name due to this confusion.