Don't know if it has been mentioned, but the name Rocky is from Rocky McGaugh, co-founder of CentOS. He passed away and they named the new effort after him.