Manpages of sudoku-solver in Debian testing