Certainly I don't want to pile anything. Joe asked me for the tool, so he got it and tested it to his satisfaction (see here - cost me quite a few hours, since I do not write such things every day). If he prefers us to repost, that's his decision, but I would not do it without being asked.

The problem is not only extra work, but less readable threads with doubles (which may or may not be equal except for those escapes) and technical remarks like this one.