BibDocFile: ignore purely numerical extensions