2 ms·

I guess it just wasn't worth the effort to check, compared to how easy googling is. Lots of things were like that back then.