- Use the documentation Docker image - Build PDF - Link to image from manual front page - Fix display tags table - Remove unsupported characters in display tags table
- Set up .gitlab-ci.yml to deploy documentation to GitLab pages - Make some minor fixes/changes for git migration