Well given that Mysidia is traditionally a city renowned for its wealth of knowledge and governed by spellcasters....that doesn't sound like someplace in Sharlayan; that sounds like a place that is Sharlayan. Whenever we go to Sharlayan, I suspect someone will call some portion of it Mysidia.