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!
I just deleted the cross comment.
I just deleted the cross comment.