Welcome to Run's user guide! The goal of this guide is to give you an exhaustive description of all
the features embededd in Run.