I feel a link to an old comment of mine belongs somewhere under this top-level post, and this subthread might be the best place for it, so I’m putting it here...
I feel a link to an old comment of mine belongs somewhere under this top-level post, and this subthread might be the best place for it, so I’m putting it here...