Fix latest doc links (c.f. bob.extension#22)

12 jobs for improved-testing in 55 minutes and 14 seconds (queued for 7 seconds)