Update to 7.0.1

@karlitschek Merge this when you are ready to launch.