It is interesting to see the change to `a` tags for the buttons. Buttons had the convenience that we can set a disabled state on the button that also by default does not trigger an event, easier to program a disabled case in that case. I did a search, and we did not seem to be using .disabled on these buttons currently, so the change should be fine, just more curious about the general philosophical decision behind the tag switch.