text: No, that's not correct, The diacritical mark at the end is part of the name. "San Jose" without the accent is also very common, but it's a colloquial spelling and should be under alt_name=* like it was up until a few days ago.  The official_name=* tag should be the full official name: "City of San José"