The #Header markdown syntax stop working

[david (David Taylor)]

This changed in the migration to commonmark. See here:

@Trash

I see that headings have changed from ##heading to ## heading (with a space).

What happens to the old topics that use ##heading instead of ## heading after the upgrade?

We have to do a remap as describe here Replace a string in all posts ?

@sam

Very super undecided on a migration script. The concern I have is that it is possible a migration script can mess stuff up more than it will actually help.

I am semi open to making a script that fixes up bad multiline quotes (one’s that start mid line) and maybe the title thing.

Will think about it.

@codinghorror

No, this is not needed at all. I would not bother. People can fix up the rare affected posts themselves.