Character name change

BUR #5289 has been approved by @evazion.

create alias prague_(fire_emblem) -> petrine_(fire_emblem)

The character known as Petrine Fire Emblem is only known as Petrine by English speakers, so it’s hard to look her up by the name Prague. In fact it makes it hard to look her up at all. Not many of any know her by Prague. Please update!
Also, Petrine is her official English name.

Should mention that Petrine is her official English name.

Veradux said:

Should mention that Petrine is her official English name.

Thanks! I forgot to mention that.

The bulk update request #5289 (forum #184556) has been approved by @evazion.