> Yes, I've encountered some people using divs for everything but in the vast majority of cases people have used semantically correct HTML, at least when it comes to buttons.

I dunno; ISTR that the materializecss library used `<a>` for buttons.