Ok you have to rename the document too...

# editing from stackedit.io Ok, it's not absolutely obvious an idiot how to publish from stackedit.io. A second try...