Fix some warnings in doc generation.
Update references to the mailing list.
Kill trailing whitespaces in docs.
doc: praise for 'discovery reports' as a way to contribute back to the project also, reword and shorten some other sections in the same file
Speak of mattermost as a way to reach the community
Correct a few a/an.
fix dead links in the doc
Spelling fixes & a few cases of polishing the English (#329) Some of the more specialized fixes were: - 'DEAD-LOCK' -> 'DEADLOCK' (appears when MC fnids a deadlock. - 'allows to' -> 'allows one to' (and so on for allow/allows/permit/permits) 'model-checker' -> 'model checker' ('the model-checker software', but 'the model checker')
doc: various formating fixups
fix more dead links in the doc
fix some errors and warnings in the doc generation
further convert some bits of the documentation
convert another page from old doc to RST