`<button type="button">` isn't actually redundant.

(But `<button type="submit">` would be!)

Partially reverts e181a356d8d

See https://developer.mozilla.org/en-US/docs/Web/HTML/Element/button