On 5/14/20 5:11 PM, Jeffrey Walton wrote: > Not everyone has GNU's low standards.
Now may be a good time to remind us of the GNU Kind Communications Guideline; see <https://www.gnu.org/philosophy/kind-communication.html>. Let's not let honest technical disagreements degenerate into name-calling.