<input type="radio"> tag that takes true/false for @checked, which is more Jelly friendly. Note that safari doesn't support onchange. Beware that the name attribute should be uniquified among all radio blocks on the page, such as by prefixing it with "G0025." or whatever gensym. If specified, this human readable text will follow the radio, and clicking this text also toggles the radio. ${attrs.title}