carbon2-commit: Sync HELLO with FSF