Manual.rst: Fix typo

3 jobs for develop in 4 minutes and 33 seconds (queued for 2 minutes and 14 seconds)