user_defined_options.html

<!DOCTYPE html>
<html lang="en-US">
    <head>
        <meta charset="UTF-8" />
        <meta
            http-equiv="refresh"
            content="0;
                       url=docs/user_defined_options.html"
            />
        <script type="text/javascript">
            window.location.href = 'docs/user_defined_options';
        </script>
        <title>Your Site Title Here</title>
    </head>
    <body>
        If you are not redirected automatically, follow this
        <a href="docs/user_defined_options">link</a>.
    </body>
</html>