On Tue, Nov 05, 2019 at 02:29:31PM -0500, Alfred M. Szmidt wrote: > Non-GNU topics are off-topic for GNU lists, it is that simple.
I suppose we agree here, but are you sure you replied to the correct message? David used the word "GNU" twice in his, so I can only assume it must have been somewhat related to GNU. Andreas