extend-diff-ignore=doc/optim\.info|doc/optim\.texi
