Release 4.0.1

See website changelog.