DOC-STYLE: various release changes
- Header-file documentation of various new functionalities was moved to the Extended Code Guide.
- Various corrections to the clashes in release commits #1726 (closed)
Site will likely be offline for maintenance 23/24 April - more details soon