Several solutions, none of them good.
1. Make a bot that edits everyone's post to fix it. Downsides: Any bugs likely means large swaths of stories may get deleted in worst case. It also may not be able to figure out what symbol to replace it for. Some people don't want their posts edited.
2. Have the mods start fixing them manually. Downsides: moderating isn't a job, people don't like their posts being edited, and slow/inconsistant results.
3. Make the authors fix it. Downsides: Slow, inconsistent results, likely to be a lot of resistance. Several stories would never be fixed due to author abandonment.
1. Make a bot that edits everyone's post to fix it. Downsides: Any bugs likely means large swaths of stories may get deleted in worst case. It also may not be able to figure out what symbol to replace it for. Some people don't want their posts edited.
2. Have the mods start fixing them manually. Downsides: moderating isn't a job, people don't like their posts being edited, and slow/inconsistant results.
3. Make the authors fix it. Downsides: Slow, inconsistent results, likely to be a lot of resistance. Several stories would never be fixed due to author abandonment.