Formal release of 0.9.3
Merge branch 'release/0.9.3' into develop