@simon_brooke I appreciate it. (If for no other reason than that I may switch back to Debian when my patience with Ubuntu's many idiosyncrasies wears out.)