Merge request for several new features and fixes
This is a collection of various features and fixes, accumulated here over the past 5 months. It would be nice if we could at least merge them into origin/develop.
Note that I asked for the merge against feature/platform, because origin/develop has been left behind a bit.