On 08.02.18 08:42, tomas@tuxteam.de wrote: > On Thu, Feb 08, 2018 at 01:36:41PM +1100, Erik Christiansen wrote: > > [...] > > > [...] Fastidious fusspotting on minor terminology matters [...] > > Yikes :-) > > May I steal this one when I need it badly? It's escaped now, so please feel free. Here's hoping it's not badly needed too often. Erik