Update the documentation to reflect new features.

 -- especially the editor