On 8/28/18 4:36 PM, Andrea Venturoli wrote: > Any other way to insert some pause? For the record, I filed https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=231193 bye av.