an app to download Scala docs.