Finalizing 0.8.0 (again)