Merge branch 'v0.8.0' into encyclopedia

6 jobs for encyclopedia in 25 minutes and 19 seconds