Documentation for 0.7.1, some for 0.7.2