Branch integrated, see commit [3720e40747].

And commit [4bbe140a79] makes the change to the `all` set of `drop unrealizable`.

For the disclaimer in the docs please provide a PR/branch.

Closing this ticket now as done.

Thank you for your patience.