Newbie here. Looking at this documentation: https://docs.phalconphp.com/3.4/en/environments-vagrant

The linked to vagrantbox project in GitHub leads to a 404: https://github.com/phalcon/box.git

Has this been moved? If so, could someone please provide a valid link to the official vagrant script for Phalcon?

Many thanks

Mik