Reverse-bump, v0.2.5 released, go back to devel series

This reverts commit 87b470b07e911eefaec61bbb26ba1e2e3291854e.