Comment by hnarn

It’s quite odd to choose the name ”Rocky” when that is already the name of one of the most popular Linux distributions.