Merged branch contains newest version of user manual. It is deployed to gitlab Pages automatically after each commit.