When going to review the changes between the prior release and the current one,
I noticed that the grmtools-0.14.1 tag appears as though it didn't get set.

I'm not actually familiar with the release process, whether it is automated or manual but wanted to note it in case it was automated, perhaps we may need to look into it lest it might happen again?

Mea culpa! I sometimes forget to do git push --tags _upstream_. Should be fixed now.

This seems reasonable to me.

I definitely didn't get to all the errors in #623 but there is nothing that was committed that is in any kind of limbo, but a few PRs left before that can be closed that haven't been completed yet. None of that seems worth holding up a release.

Separately, I noticed that https://softdevteam.github.io/grmtools/ had broken since the mdbook multilingual thing -- I've now unbroken that, so we'll keep getting docs generated.