Release test

This release is just a test of GitHub release functionality, to determine final links to released artifacts, and such. I've never done that, so have to train a bit.