Release 0.12.2

Release 0.12.2. Contains:

- fixes from KA Lite central, backported to KA Lite.
- some other miscellaneous bugs and tweaks.