Tag a new release 5.0.
There are still many outstanding patches / pull requests that deserve to
be in this release. But instead of delaying a release any further, I'll
simply make a new minor release when I get around to go through these.
Fixes issue #239.
Tag a new release 4.0.
Mostly for the benefit of those who prefer a tagged release instead of
Anyway, it has been too long since the last one. The output of
`git shortlog..HEAD` was impressive. Thanks to all of them who