@epidemian: Agreed. I will add it back, but in a comment instead.