Is this the Paul Vixie of Vixie Cron fame? Edit: To answer my own question. Yes it seems https://en.m.wikipedia.org/wiki/Paul_Vixie https://en.m.wikipedia.org

Is this the Paul Vixie of Vixie Cron fame? Edit: To answer my own question. Yes it seems https://en.m.wikipedia.org/wiki/Paul_Vixie https://en.m.wikipedia.org/wiki/Paul_Vixie