RELEASE: 0.8.5 has been released