Summary of changes: 56537fc... Untested commit, because I'm in a hurry and snow is falling (*) 937e171... Untested commit, because I'm in a hurry and snow is falling (*) (*) This commit already existed in another branch; no separate mail sent