manual/idly updated cedet mirror