Hey I'd like to apologize for that (and I didn't downvote you FWIW, I've now upvoted both the GP and parent to offset whoever did, your comment didn't merit a d

Hey I'd like to apologize for that (and I didn't downvote you FWIW, I've now upvoted both the GP and parent to offset whoever did, your comment didn't merit a downvote). You're exactly right that my comment veers from high-quality to low-quality linearly with character count: I had an ambient distraction burst into my office in the middle of writing it and I was over-multitasking and failed to clean up the second half within the edit window. The second half of my comment has important signal but it's too high-noise to be a good comment, as my grandmother used to say: "A barrel of wine and a spoonful of sewage makes a barrel of sewage". If anyone deserved a downvote it's me, please know that it was unintentional.