Sorry, and thank you for finding this problem so quickly.
When I updated the version number, I skillfully changed 2020122100 -> 2020031700. Oops!
I have now pushed a new version, which is hopefully correct.
When I updated the version number, I skillfully changed 2020122100 -> 2020031700. Oops!
I have now pushed a new version, which is hopefully correct.