As requested in RQF1966796, batch9 tag with el9 disttag was added.
assigned to @geargyri
merged
mentioned in commit 80dec510