Ah, I see. Then it is fine for now. But I just wonder if we should update the location of the NTT menu entry for Firefox and also move it into the second menu under options. I don't think cluttering the top menu is a good choice. We might want to tackle this in a follow-up issue.