On Fri, May 08, 2020 at 03:59:27PM +0200, Riccardo Mottola via Dng wrote:
>
> interesting. I drop a line for ArcticFox then, since I am currently its
> main contributor.

I hope there's no danger of a name conflict, but "Arctic Fox" was
the name of a video game sometime around 1980.

-- hendrik