Today, March 28th, marks 78 years since the city formerly known as Constantinople to most, officially changed its name to Istanbul. This action was prompted by the newly-established Turkish republic to establish the city as its own entity, effectively aiming to limit connections to the city's historically Greek/Byzantine role.
The name Istanbul derives from the Greek "eis tin Poli" or "to the City". Similar to how many Americans refer to New York City as "the City", the same applies to Greeks past and present.
Just like the Pantokratora of the Agia Sophia, the lesson here is you can try to cover up history, but it cannot be erased.
Happy Birthday Istanbul... may we all get to go "eis tin Poli"!