Summary of changes: 83ceffd... Update to latest upstream release. (*) 6c0e692... Fix user manual file name. (*) (*) This commit already existed in another branch; no separate mail sent