button cannot have name attribute, when other elements can

[lasselindqvist]

(0.6.8) For example the following produces an error since "button" cannot have attribute name when input or buttonInput can. Shouldn't name be available for buttons, too?

System.out.appendHTML().html { body { div { button(name = "buttonName") buttonInput (name="buttonInputName") input(name = "inputName") } } }