In Brackets, attemtping to insert a duplicate menu writes a messahe to console log. Should we keep it consistent by either doing the same here (is there an API call for that?) or by not doing it in HTML menu code?