you're welcome. i'll try to remember your comment the next time someone replies to me with something like https://news.ycombinator.com/item?id=40993821 or https://news.ycombinator.com/item?id=40993328 or https://news.ycombinator.com/item?id=40992456

wow, i sure didn't have to wait long; in this case it's someone who's harassed me repeatedly and who uses the site mostly for political flamewars: https://news.ycombinator.com/item?id=41056718