document Jetbrains workaround