Two other things:

We use `a` tags for many things that are buttons; for new code, we really should start using `button`.

When using an `a` tag as a button, we sometimes use `href="#"` and sometimes use `href="javascript:void(0)"`; is there any reason to prefer one over the other? If not, we should arbitrarily standardize on one.