@jonskeet this is far too much happiness! I feel obliged to downvote your posts on SO now out of a sense of karmic justice!