checkbox renders multiple input elements with same name
The checkbox form element intentionally renders an additional hidden input element with the same name.
This leads to issues in the frontend where input elements are selected by name. see #11750
The reason for the double input element is a workaround produced by Carsten in the PHP funciton AbstractBuildForm->buildCheckbox
It would be best if the hidden input element had a different unique name.