On 1/2/19 11:09 PM, Bjarni Ingi Gislason wrote: >except for a font change for a punctuation > mark (getrandom.2). Applied manually. Thanks, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/