Note to self: Always use onclick, not onchange, on checkboxes.
Most browsers work fine, but Internet Explorer only seems to invoke onchange when the checkbox loses focus. However, onclick is invoked whenever the value changes, even if it wasn’t clicked, but triggered with the keyboard. Go figure.
