@EliahKagan yes, that particular user is a repeat offender, but we don’t have nice edit education tools aside from
comments left under posts, or reject messages (but that only works if the edit is effectively rejected), or dedicated chatrooms (which often involves mod intervention).