Hey danmux,
You can create a ticket in our bug tracker. You can additionally submit a PR to our GitHub repo, although this option will soon involve submitting your PR through Gerrit instead once we’ve managed to move the project there.
Cheers, Brett