May I just post a friendly reminder to you inattentive jerks fine posters that this Pit thread was created to rant about Pit-worthy digressions that would have been out of bounds in the CS thread that is well suited to these kinds of discussions.
The only reason I mention this is that it leads to the usual problem of having a conversation fragmented all over the place so you don’t know where to post or where to find the relevant comments. Or maybe just because I’m an obsessive-compulsive shit-disturber. 