Comment Comment by ericlippert Not the first time I've made that joke, but it's none the worse for having been used before. parent ericlippert 3 years ago