* CORE_entity: Automatically create empty source when requested.
* Optional write permission in list editor.
* HTML_machinist: Update wrt to list editor API change.
* HTML_widget.list_editor: Accept extra actions button.
* CORE_entity.vfs_directory: Accessor to the directory of underlying git repo.
* COMMON_pervasives.list_iteri_s: New.
* HTML_widget.fileuploader: Generic widget for fileuploading.
* A CSS class for inlined display.
* HTML_source: Provide the kernel of features.