I was not replying to you, but rather to https://news.ycombinator.com/item?id=21776078. Probably you were confused by that comment being [dead], and assumed that I was replying to your adjacent one instead.

This happens from time to time, and I'm not sure how best to eliminate the confusion.