From: Thorsten Leemhuis on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1779#note_9458...
that changing RHEL/rhel references to ARK/(ark or dist) is not worth
it
I'd say they are, as such small details send a subliminal message to external
participators and IMHO can be discouraging for them, as they give some small
"this is a RHEL thing, don't interfere" vibes. But no worries, not your
fault,
I guess some higher ups first need to decide that some de-redhating is a good
idea and rest my case :-D