Logged In: YES
user_id=574256

What I chose to do in my local copy of the source was to
rebuild the menu every time that the menu is opened. I
considered that to be sufficient, considering the
bang-for-buck factor (it's a three-character-or-so solution).