re #4 added codebetter/jetbrains banner