v0.9.2-beta-final

Final release on master branch before merging the long-running develop branch. Considering how long it's been since these branches were merged, we're basically going to make develop the new master. A "master-v0.9" branch will be created in case we need to do bugfixes.