Small corrections in docs.

* Small changes, mostly typographical corrections to docs.
* gedit history files filter added to gitignore.