tag:github.com,2008:https://github.com/software-dov/proposal/releases Release notes from proposal 2025-08-13T06:13:34Z