This issue has been fixed for a while, but is still open: https://youtrack.jetbrains.com/issue/KT-17657 What is the proper way of bringing these up to the [JB] overlords to get it remedied?

I'll ask about it tomorrow

Thanks @ilya.gorbunov. For future reference, is there a better way to bring attention to such issues?

Usually in such cases a comment in the issue is enough.

Okay, good to know. Thanks.