* dartformat was renamed dartfmt... years ago.
* Authors no longer need to squash their own commits post-review, github
  now supports doing so via the web interface.
* Remind contributors to feel free to add themselves to the authors
  list.