Wikipedia just alerted me that an edit made from my IP address was been reverted by a bot, which was surprising, so I looked in…