Documentation for barocert (1.2.2)