Likewise, not on either of the Debian machines I have quick access to. On Tue, 24 Nov 2020 13:33:14 -0800 Kent Borg <kentborg at borg.org> wrote: > It is not on my Debian machine. -- Rich Pieri