Summary of changes: b6c7ed2... comply with guidelines concerning user and group handling (*) a9664c5... Merge branch 'f16' into f17 (*) This commit already existed in another branch; no separate mail sent