Is repaired Spider dataset available?

[CrafterKolyan]

In your paper (https://arxiv.org/pdf/2012.12627.pdf) on page 7 in section Data repair you say that

...
We manually corrected some errors in the
train and dev examples. For comparison with other
models in §5.1, we report metrics using the official
dev/test sets. For our own ablation study and analysis, we report metrics using the corrected dev files
...

I couldn't find any link to this corrected dataset. Is it available anywhere?