A development environment for contributing to the official WordPress websites based on Varying Vagrant Vagrants