Manual mode uses the xdot graph viewer instead of generating and clumsily displaying a png file.
Report a statistic for "interesting" unexplored nodes which are children of a symbolic branch.