Documentation is now in HTML format for easier reading