Allow redirecting to specified version of docs. Change in script.
Per 03-10-2019. Zie de nieuwste versie.
