It was merged into tails.git on the devel branch. This documentation change was
already made on the devel branch. Since then, I've emptied the Greeter's
Git repository and documented the migration there. Let's not release
a new Greeter for Tails 3.x.