v0.2.5

0.2.4 was a bad commit. I forgot to rebuild the dist package and all
that. This release is just a correction/ammendment, no source code
changes, only artifacts.