Hi, I updated the hol-light package in the git repo. Could somebody have a look and sponsor an upload? I spend several days to run the complete test suite in order to ensure that the package only shows those errors that are also present upstream. Best regards, Hendrik