Function remove_cmd 

pub fn remove_cmd(root: &Path, state: &Path, name: &str) -> CommandResult

speccoder extensions remove <name>.