Minor addition to the manual
Merge branch 'master' of https://github.com/axeltidemann/self_dot
Minor edit to ignore file