Version 4.0.1 released

Version 4.0.1 was released today, which includes a fix for a wrong migration. When migrating to 4.0.0, collecting the Matrix ID was enabled by default for existing events.

Details can be found in the changelog.