2 ms·

I was born in the early '80s, and I remember learning both names in my dinosaur-obsessive phase, so I'm not sure it's a new thing.