It was ER when he got it, and the 20.00 that happened was on the next calendar day iirc. I am fine with the former record tag, but I also think that considering it lasted a whole calendar day, it was not keatoned and this is a former ER worthy of the tag.
Edit: Here is the wca records page showing evidence that this record was not keatoned and was a former ER
I don’t think being broken is a valid reason for removing the ER tag. If that was the case, then YushengDu’s 3.47 WR tag should be removed because that was broken. I know I previously said that I was fine with the former record tag, but considering I don’t see that tag on former WRs, I have since changed my mind.