Notes and readability

* Verification ideas
* More mucking about with styling
Merge branch 'master' of https://github.com/parente/tott

* 'master' of https://github.com/parente/tott:
  Render fix in setup.rst

Conflicts:
	doc/assignments/setup.rst