#7 Rename web document

[Sylvain Hallé]

Currently you can rename a web document, but the change does not persist to the form's life (i.e. close the browser and re-open it and the name is reverted back to what it was).