On Monday, 6 June 2022 at 05:48:14 UTC, Ali Çehreli wrote: > > Now, that is trolling. > > Ali juvenalian satire, perhaps. I'd accept that. But trolling? Really?