Summary of changes: d3f248b... Update to latest bugfix release. (*) 35fe96b... Add help manual to sources (*) (*) This commit already existed in another branch; no separate mail sent