While Redditisms leaking into HN comments are usually downvoted, I actually got this for the first time just now. Probably because while on HN I wear my thinking cap, and on Reddit I read mainly for amusement and don't spend the time to look as closely. So a qualified thank you, that was clever.