Remove karel from dev index