On tools and processes: automating release notes from PRs

I hated writing release notes manually and skipped them, so users missed fixes. Now PR titles follow a simple prefix—fe…