Summary of changes: 4d282ff... respun upstream tarball to fix offline HTML docu (https://b (*) 492bd93... fix sources, oops (*) (*) This commit already existed in another branch; no separate mail sent