Current behaviour: @grepbot syntax gives a link that is broken (though it does redirect to a more correct link).
Desired behaviour: the command provides a link that goes to the exact version of the regex library used by the bot - also maybe the version used by the bot should be updated if it’s out of date.