Oops! That comment should have read "Url changed from https://github.com/google-research/football, which points to this". (Edit: https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...)

"p" is a keyboard shortcut in the software I wrote to semi-automate repetitive moderation tasks. It's short for "points to" and constructs a comment with that text based on the before-and-after URLs. I can't fathom how that "p" ended up here instead. It guess it will remain one of the mysteries of moderating after midnight and a finite amount of good beer.

Flagging a dang comment was the highlight of my day. :p

What did I miss? Such confusion