Running `npm run dist` after changes on a PR is tedious. Let's have a GitHub Actions workflow which updates them and pushes a new commit.