Merge branch 'v0.8.0' into encyclopedia

7 jobs for encyclopedia in 36 minutes and 30 seconds (queued for 3 seconds)