Do we really need aria-required=“true” any more given that HTML5 has a required attribute already? I know it used to be needed in certain situations, I’m just not sure if that’s still the case.