tag:github.com,2008:https://github.com/jannisCode/eclipse.platform/releases Release notes from eclipse.platform 2026-02-12T12:13:34Z