[ros-diffs] [cfinck] 31634: Make it possible to choose the "Paste history: No" option under FF by removing the wrong <label> tag