> just give instructions on how to find it

Preferable to point the user to a Scala installation on their local machine (i.e. something like `SCALA_HOME/src/.../BoxesRunTime.java`) or on GitHub? In the latter case, perhaps just a link to [scala/scala](https://github.com/scala/scala)?

Thanks!