He's been doing similar jokes about MacOS names since a couple of years :)