When switching from version 5.0.0 to version 5.0.1., we noticed a regression in the error handler which outputs on the terminal some additional (unwanted) characters. See the discussion here: https://gitlab.com/petsc/petsc/-/merge_requests/7143#note_1709258522.