[dang]

Oh no problem—the HN guidelines call for changing titles in that case (https://news.ycombinator.com/newsguidelines.html), so the observation was relevant here too.