> Crossposting from the other thread

Please don't do that! It makes merging threads a pain.

If a thread is duplicate enough to be worth copy-pasting a comment to, it's hopefully worth taking the time to let us know at [email protected] instead, so we can merge things. I'll do that in this case shortly. In the meantime, I've moved the replies to the parent so they're now replies to the original: https://news.ycombinator.com/item?id=49753547.