Thanks very much for this tip, and for forwarding it to the moderators.

As far as the menu problem goes, we will be working on this behavior moving forward, and it is on our to-do list. Thank you to everyone who is reporting this problem -- the details are helpful. I just want to let everyone know that we are aware of the problem and are working to solve it as soon as possible.