tag:github.com,2008:https://github.com/scala-ide/docs/releases Release notes from docs 2025-07-23T21:41:10Z