GettingStarted.html

<!DOCTYPE HTML>
<html lang="en-US">
    <head>
        <meta charset="UTF-8">
        <meta http-equiv="refresh"
              content="1;url="https://os.mbed.com/docs/latest/tools/exporting.html>
        <script type="text/javascript">
            window.location.href = "https://os.mbed.com/docs/latest/tools/exporting.html"
        </script>
        <title>Page Redirection</title>
    </head>
    <body>
        If you are not redirected automatically, please follow the
        <a href='https://os.mbed.com/docs/v5.6/tools/exporting.html/'>link to the online exporter documentation</a>
    </body>
</html>