updated manuals to latest xboard.texi version