Please don't copy-paste comments on HN. It makes merging threads a pain.

Instead, if you or anyone will let us know at [email protected] which threads need merging, we can do that. The solution is deduplication, not further duplication!