Summary of changes: 15071b2... new sources (*) e841c34... updated to 1.800.2, the latest and greatest (*) 1e6842f... new sources (*) (*) This commit already existed in another branch; no separate mail sent