I’m actually rather grateful that robgonzo made his point, else I’d never have seen that side of it, thus inspiring the edit. And I think I may have noticed that was a joke, but then again: who knows? Because you said it was a joke, there was no need for me to perhaps not take it as a joke.
It’s far too early…