commented out the ibiblio repository, as it often hanged on my machine. Seems the URL is no longer valid, it redirects, and should be entered as a mirror if that's really wanted.
Authored by: mrieser 2010-03-02
Parent: [r10629]
Child: [r10631]
