Ceylon -> Sri Lanka?

I recently read the following comment on the transition from Ceylon to Sri Lanka on the Peace & Conflict Timeline (PACT) site:

It is interesting the role that language plays in discourse making or opinion making: “official name of the country is changed from Ceylon to Sri Lanka”. It is only in English that the country was ever known as Ceylon; not in Sinhala, and I assume not in Tamil. Since the days of the Ramayana the country was known as ‘Lanka’. Even the British accepted the name ‘Lanka’ in Sinhala; the colonial stamps have it as such and not as Ceylon in the Sinhala script. It would be worth checking if it applies for Tamil also. But to date the idea is that “the name was changed”. No one follows it up by saying the “English name for the country” or the English translation. I admit that ‘Sri’ was added. Consequently this is not a topic of discussion among Sinhala speakers as it is always referred to by the ‘unchanged name’.