Adding a pin to my old comment so that we don't loose track of it https://github.com/scala-ide/scala-search/pull/19#discussion_r3467939