Diff link is below; AI bot maybe - and is this user making others edits...?
Yeah, that's vandalism. I restored it.
Anyone know a way to search for edits-by-user, specifically 2gwdc25wkk-ctrl, to see if they've done more damage?
Looking at user history, that is their only edit. Came in thru Github - color them gone (for now).