Describe Board Options dialog in texi file