<!DOCTYPE html> <html> <script type="text/javascript"> window.location = "main/"; </script> <body> <noscript> Please navigate to <a href="main/">here</a> for the documentation. </noscript> </body> </html>