Allow redirecting to specified version of docs. Change in script.
Ekde 2019/10/03. Vidu La ĝisdata versio.
