Merge branch 'release-0.3.1' into 'master'

Version 0.3.1

See merge request !8
4 jobs for 13-check-and-update-documentation in 6 minutes and 17 seconds (queued for 9 seconds)