Meh; That was “Carto”, in angle brackets.

I also recommend the https://wordpress.org/plugins/simple-comment-editing/ plugin!