Como remover corretamente um elemento de um array em PHP e reindexar as chaves? Problemas com unset()

Olá a todos! Sou iniciante em PHP e me deparei com um problema ao remover elementos de um array.\n\nEu tenho um array com nomes de usuários:\n```php\n$users = ['Anna', 'Ivan', 'Maria', 'Petr'];\n```\n\nPreciso remover o segundo elemento (Ivan). Li que para isso se usa a função `unset()`, e escrevi o seguinte código:\n```php\nunset($users[1]);\nprint_r($users);\n```\n\nMas o resultado me surpreendeu muito! Em vez de um array com três elementos (chaves 0, 1, 2), obtive:\n```\nArray\n(\n [0] => Anna\n [2] => Maria\n [3] => Petr\n)\n```\nAs chaves se tornaram não sequenciais: 0, 2, 3. Ao tentar iterar com `for` usando `count($users)`, eu pulo o elemento com chave 2. Também tentei remover o elemento pelo valor, e não pela chave — por exemplo, remover todos os usuários com o nome "Maria". Como fazer isso