[RESOLVIDO] Onde baixar Facelets?

Bom dia, pessoal! Estou estudando o livro “Dominando JavaServer Faces e Facelets utilizando Spring 2.5, Hibernate e JPA” do Edson Gonçalves, e ali é indicado o site https://facelets.dev.java.net para obter o Facelets, dizendo que, na parte inferior do site, haveria o link “downloadable from here”. Só que, nesse site, não estou conseguindo achar o tal do link para baixar, e não estou conseguindo achá-lo nem mesmo pelo Google. Alguém tem alguma dica de como eu poderia baixar o Facelets?