Allow redirecting to specified version of docs. Change in script.
As of 2019-10-03. See the latest version.
