Merged with v0.7.10.

5 jobs for encyclopedia in 21 minutes and 28 seconds (queued for 2 seconds)