Acabei encontrando o arquivo indo para a aula seguinte e entrando no link do GitHub (em projeto da aula anterior). Depois vi aqui no fórum que podia ter encontrado no zip disponibilizado no início do curso. Ainda assim, acho que um link para o arquivo lupa.png (no GitHub) poderia estar na descrição do vídeo, assim como a "colinha" para os .css sempre está. A gente já fica condicionado a procurar lá...
