Can I revert the wiki page to the previous link and version number, or should I repackage it with a new version number? eg. Re-release v1.0.0 as v.1.0.0a
As long as you don’t mistakenly revert some one else’s bot, the first is ok. The second approach is usually seen when needing to reset scores, e.g. weird battle results.
