Comment by dctoedt

Upvoted you, too — I would have skimmed right by the (great) pun had I not noticed your comment.