One thing, though: I’ve noticed that the button on the example page is unstyled and not the final version described.

That button is showing how the initial HTML button looks with the browser’s default styling. So it’s ground-zero, not final version.