Merge branch 'release/0.9.3'
Improved skinny console
Merge branch 'master' into develop