A simple project for manually testing features of Errai