jan/feature/20260815-lib-distros-redhat-distro-add-missing-file into master Add the (untested) module lib.distros.redhat.Distro. It had been lingering in the source tree, but I've apparently forgotten to add it to Git. It has never seen any real use because CI still doesn't run a RedHat distro, so it is to be regarded as a stub. Which is better than nothing. Signed-off-by: Jan Lindemann <jan@janware.com>