PS: I'm originally from Sri Lanka, which used to be Ceylon under British rule. I'm sure it's a wonderful project, but a bit silly (not to mention exploitive since they even use an elephant in the logo) to name it after a colonial name a lot of people struggled to get rid of.
Edit - On the footer :
Ceylon is a trademark of Red Hat, Inc
How does that work exactly? Can any company just trademark the former colonial name of a now sovereign nation?