It seems like a fine name. I personally didn't link it to that connotation, and instead initially thought of Rocky and Bullwinkle, and a distant relative of a p

It seems like a fine name. I personally didn't link it to that connotation, and instead initially thought of Rocky and Bullwinkle, and a distant relative of a past generation. For all I know the honored co-founder was a curmudgeon, so maybe it's an especially clever pun? If I were tasked with improving the about page, I would probably use the about page to explain the purpose and merits of the operating system. I would move the explanation of the name to the first question in the FAQ, or to a separate "Rocky's Legacy" page. Mainly, it would depend on whether the guy was known to be modest or proud. Then that section could be a true tribute without any risk of compromising the readability of the site.