Adicionei o pacote no composer.json e rodei o "composer install", mas não baixou o pacote no vendor. Só consegui baixar realmente o pacote quando fiz o "composer require" ou, adicionando manualmente no composer.json, com o "composer update". Vi que no console do professor, a saída do "composer install" foi igual a minha. Então não ficou claro para mim que basta adicionar manualmente o pacote no arquivo e rodar o "composer install", pois, pelo visto, depois de criado o "composer.lock", o "composer install" lê ele e não mais o "composer.json"