When pushing to GitHub releases, put dependency updates in a separate section of the release notes

[marco-c]

Or add an option to avoid listing them.