2.11.3 release with bugfixes

MirrorBrain 2.11.3 has been released with

• bugfixes and small new features in the toolchain
• small documentation fixes.

See the 2.11.3 release notes for details.