Minor documentation improvements
Merged in Renzo's documentation changes

Conflicts:
	Control/Proxy/Parse.hs