0.8.0 in full

0.8.0 came out on 25 october, seven weeks after 0.7.8. the release notes are the short version. this...