[user24]

indeed. Sadly, above your comment is the start of a pun thread. The first I've seen on HN, and regrettably doubtfully the last.