supermin 5.3.5 was just released upstream. It is backwards compatible with all earlier versions. To reduce the number of versions we have, to reduce the number of downstream patches, and to simplify testing, I propose that we update RHEL 10.0 to this vesrsion.