Below, gjm was being a self-acknowledged pedant and I didn't like it at first and I pedanted right back at him and then I realized I enjoyed it and that pedantry is a terminal human value and that I wouldn't have it any other way and that I didn't really care that he was being a pedant anymore and that it was actually a weird accidental celebration of our humanity and that I probably won't care about future pedantry as long as it isn't harmful. This is an auspicious day.