re #4 fixed codebetter/jetbrains banner