changelog update
Last tweaks before 0.12 release.
Implement support for better remote editing using user keys, to be
documented later.