Known issues

This is the list of issues which are or will not be fixed (yet?).

• Under Travis CI the coloration may not be shown.
• Under GitLab CI/CD the coloration may not be shown.