Remove duplicate "numbered" options for toctrees.