Hurricane Electric doesn't implement RPKI Origin Validation as most people understand it. They try to do some route filtering that is RPKI like, but it's not the same.