I'm not sure if this is a feature request or a bug report.
Example: Alternative to git ls-tree -r HEAD -- . :!foo
Before saving, the title appears as two hyphens.
After saving, the title remains as two hyphens.
When I refresh the page, an em dash has appeared instead.
This is poor for readability and for SEO (maybe?).
Ideally, an em dash would be an em dash, and two hyphens would be two hyphens.