Is there any story or reason behind the name? Or is it just simply a random choice of word? Does it mean anything outside being a hat haha.

edit: i feel stupid for asking now, should have guessed it had to do with Redhat…