<html> <script> location.href = "docs/index.html" </script> </html>