{# We keep the button element (theme expects it), but it's hidden in CSS #}