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