@jeffcliff@graf you don’t have to listen to me. Really, neither of you do assuming graf didn’t just mute the thread or block me or wtv.
But things are better when you don’t spend your time arguing with people who don’t listen and you spend your time with people you care for and on interests you care about.