The PR #3789 changes most of the invariant perspective and adds new features, which need to be documented.