Some more updates to the documentation. Still WIP