More documentation, esp. on installation section.