- Simplify a little PR: ports/76959 Submitted by: Ewgenij Gawrilow <gawrilow@math.TU-Berlin.DE> (maintainer)