Summary of changes: 9180525... remove derogatory comment, must've had a bad day. :( (*) 02d2837... - semantik-0.8.2 (*) c80d8fa... - semantik-0.8.3 (*) (*) This commit already existed in another branch; no separate mail sent