There has to be a reason for picking button instead of input type="radio", right?

Yep, radio buttons weren't easily stylable in all evergreen browsers back on 2020.