On Thu, Dec 28, 2017 at 07:29:06PM +0200, Eero Volotinen wrote: > That really doesn't sound like critical production use. It's critical to me. What's your definition? -dsr-