<!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>