Merge branch 'release/0.1.2' into develop
ooh, wrong year :(
compiled new pdf
Merge branch 'release/0.1.3'