The only reason you think 'Rocky Linux' sounds unprofessional is because you are unaccustomed to hearing it in a professional context. Before I read where the

The only reason you think 'Rocky Linux' sounds unprofessional is because you are unaccustomed to hearing it in a professional context. Before I read where the name came from, I assumed it was named after the mountain range. Would that really be so strange, considering CPUs get named after lakes or MacOS releases named after cats or regions of California?