Prepare for 0.4.0.M1

Docs tweaking and package info renaming in README.md
Yes, exactly, the “if and only if …” part can be dropped because that is covered by the other rules.