Reformatted some of the documentation, and added a lot more