Summary of changes: c3d8279... Add dist tag to the package (*) ab4e5e8... Add dist tag to the package (*) 415d25d... Minor improvements (*) (*) This commit already existed in another branch; no separate mail sent