vignettes/section/irace-options.tex
