> I think this was removed previously, when we removed the double reset the first time, so I'm ok with it.

I looked over #519 (which is where we removed the double reset) and as far as I can tell, there's not a spec like this removed in that PR.