Manual.rst: fix some typos'.

Makefile: remove automatically downloaded file.
1 job for master in 1 minute and 40 seconds (queued for 3 seconds)