@JM Is there some recommended action that one should take with edit suggestions such as
this one? I copied the comment and posted it to the answer but is this really what one
should do? It happened a few times over the last week and I did similar things, but I'm not entirely sure.