Editando o auto increment no MySQL

Hoje tive um probleminha com uma base, onde precisei em uma tabela pular vários índices. Infelizmente o PHPMyAdmin não permite editar o AUTO_INCREMENT de uma tabela, de forma que tive que ir buscar lá na documentação do MySQL. Fuça daqui, fuça dali, eis que achei a solução:

alter table tabela AUTO_INCREMENT = valor

Extremamente simples, não? 🙂