I'd say remove it from the HTML, and the corresponding JS (aka the whole interaction/feature) that toggles it (since both are not used currently in the UI). We can always add them back if/when we need to.