Yeah, my original headline didn't say that, but it looks like someone edited it. Edit: And now they've edited it again. I wish HN's anonymous headline editors

Yeah, my original headline didn't say that, but it looks like someone edited it. Edit: And now they've edited it again. I wish HN's anonymous headline editors would post a comment when they do that, so my references to the headline don't look weird.