Vero is now Pensa. This page has moved to https://viditchhajed.github.io/pensa-docs/.