Meh; That was "Carto", in angle brackets. I also recommend the https://wordpress.org/plugins/simple-comment-editing/ plugin!