@loicgasser please create an issue for that.