“Wikipedia editors sometimes use bots to help them keep on top of changes that users have made to the online encyclopedia. But when two editors task different bots with making incompatible edits, each bot will keep finding that its work has been undone.”