Fix more typos in the documentation
Debian is not necessary a Linux. It can also be a Freebsd or HURD based
Merge pull request #8638 from sylvestre/develop

Improve the documentation