[veraPDF-users] HTML report in Command Line Interface