Anyone else experiencing a bug with the menu system in WordPress trunk? My menus appear to have vanished.