Henry, can you also please delete all lines containing "icfp/"? Those are from our ICFP project, which isn't in the sourcelight repository.