That is a possibility, which supports that the production bug reporting button does may not work for non-beta editors.