Only on Wikipedia can you find nearly three years of debate about whether sudo is short for “substitute user do” or “superuser do.”