I don't think you and Mark are wrong. Am Mo., 7. Jan. 2019 um 10:57 Uhr schrieb Mike Jing < gravitys.rainbow.cn at gmail.com>: > I see your point. What I'm really concerned about is whether this is > intended as a joke. It looks so to me, but of course I could be totally > wrong. > >