simplify the command line options for checking a Wikipedia dump