Merge branch 'release/v0.9.3' into develop
updated with dependency info
Add docs badge to README
user links
Merge branch 'patch-1' of github.com:rrrene/oplerno into rrrene-patch-1
updated revision and added patch for inch-pages/inch-pages.github.io
Merge branch 'release/v0.9.4'