BTW we don't have @-pings here; I found this reviewing my own comment history. Also, it appears that your comments are being automatically filtered. I don't see

BTW we don't have @-pings here; I found this reviewing my own comment history. Also, it appears that your comments are being automatically filtered. I don't see especially good reasons for this (although it's clear you've made a throwaway for this specific topic and you're getting a lot of downvotes); consider emailing hn@ycombinator.com about it.