On Sat, 2023-05-27 at 08:36 +0200, Maximilien Noal wrote: > Is... Is this a joke ?! Hi, no, this is a gnome. There used to be only trolls, now there are gnomes too. Regards, Ralf