-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 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? Cheers - -- tomás -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlp7/0oACgkQBcgs9XrR2kZqfACfd0GNJq8Ea1v6aCDJ99kUkght jnEAn08zWq8UFwB3Eyc2CNHgK7prWv/N =25dI -----END PGP SIGNATURE-----