Oh, BTW: It had been @wonderwop who defeated my easily the next round. He's mentioned in my blog post. You and @wonderwop know each other from other occasions? Hi there! A pleasure meeting both of you.