Use mike for versioned documentation

3 jobs for 41-make-documentation-multi-versioned in 8 minutes and 41 seconds (queued for 5 seconds)