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.