Snarkily, I’m tempted to fork the github repo, stick my name into an early, commit, and say “Look, as an original author…” But I think that’s the social engineering route. Github displays it all as authoritative, and you need to be a reasonable adept user rigorously checking things

@seph @theopolis This was an honest mistake and a brain-fart from my end, not intended to be malicious and not trying to steal any credit.

@sharvil You did nothing wrong! This split into a discussion about how the github webui works. It makes it easy to social engineer.