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