I’ve filed <https://youtrack.jetbrains.com/issue/K...
# getting-started
y
I’ve filed https://youtrack.jetbrains.com/issue/KT-13078 for this problem