PragDave: I'm on vacation, and I've deleted your message—really · HackerTrans