Updates (no more TODO) in the documentation page