I’m lazy so I’m not going to look it up, but wouldn’t that have been known long before the launch?

Either way, that’s some really cool attention to detail. They could have easily been lazy like me.