All Questions

A specific user has recently edited a lot of years-old posts in which, as far as I can tell, he is just TeXifying titles. While I assume that this is being done with good intentions, it seems likely ...