Yeap, this isn't mine. It's actually from `pr-scala-common`, a dependency of the current ide-script, and I think this is @huitseeker's skill. I put it in here to be self-contained, and at step 2 I could remove the whole file.