Yes, let's take very seriously every joke random people do online. Dude come on, been 300 years, you should have discovered humor by now.