1.0.1

Wrong order of release process lead to not-pushed but updated local files (eg. the release manual and version numbers).

1.0.1 makes a clean release with the most recently changed files in the tag.