Mark the release of 0.8.5