Render Ceylon as Ceylon since it is now in Pygments