Merge "don't reference (dead) DevKern"