Removendo um elemento de um array PHP pelo valor, não pela chave

Olá a todos! Estou começando a estudar PHP e me deparei com um problema. Tenho um array com nomes de usuários e preciso remover um nome específico, mas não sei em qual índice (chave) ele está. Aqui está um exemplo do meu código: ```php $users = ['Ivan', 'Maria', 'Pedro', 'Ana', 'Ivan']; // Preciso remover 'Pedro' deste array ``` Eu sei que para remover pela chave usa-se `unset($array[$key])`, mas como fazer se eu sei apenas o valor? Tentei escrever um loop que percorre o array e compara os valores, mas parece muito complicado, especialmente se o array for grande. Existe alguma função embutida no PHP que permita remover um elemento pelo seu valor? E o que fazer se houver vários valores iguais no array, por exemplo, o nome 'Ivan' aparece duas vezes — preciso remover apenas a primeira ocorrência ou todas? Por favor, me digam como fazer isso de forma correta e elegante. Agradeço exemplos de código e explicações. Desde já, obrigado! <<>>

Solução: