Choose better name for "User Manual"
|Status:||Rejected||Start date:||20 Feb 2015|
According to our latest discussions and decisions, the information you typically expect from a user manual shall be provided online. Our offline PDF book rather provides background on the theory implemented in the software. It's more a reference than a manual.
Probably, it's unpractical to call it just "Reference" to avoid confusion with the online "API Reference".
Hence we need another name. Please add notes with proposals.