remove mention of devel, it just doesn't work with github