Do we need to keep both attributes? disabled and aria-disabled. It would be good to get rid of one.