I'm remembering now that I think one of the reasons we used <a> instead of <button> historically was that we had issues with the accessibliity focus ring that got drawn around buttons.  There was no way to turn it off. Is that gone now?

This would be a good patch to attach before/after screenshots to to show that there are no visual changes.