well, the name change has to be filed first and registered, I imagine the name and symbol change will occur simultaneously in a PR