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