I would prefer that this kind of very specific question was a comment in an open thread rather than a top-level post. There seems to be some general push for more top-level posts, which I think is mistaken.
I would prefer that this kind of very specific question was a comment in an open thread rather than a top-level post. There seems to be some general push for more top-level posts, which I think is mistaken.