Update texi file for new menu organization