Document the memory mapping

The user documentation can be added now that the allocation documentation exists.

(from redmine: issue id 3857, created on 2019-10-16)