v0.9.1 / 2020-11-20 * tutorial: improve type setting of shell logs (cosmetic) * doc: add tutorial for end users
