* Added quick-access buttons for the core properties

* Improved collaborative editing infrastructure.

* Added small tile overscan to map, reducing pop-in when panning slowly.

* Fixed bug preventing deletion of image collections.

* Fixed  bug causing deleted articles to appear in search.

* UI tweaks and bugfixes