More flexible redirection in welcome.js.