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")
}
}
}