It's not obvious how to report a bug