Apparently @rik can turn this into an issue on the gitlab issue tracker page? According to: How to submit a bug report?