| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <meta charset="utf-8"> | |
| <title>Redirecting</title> | |
| <noscript> | |
| <meta http-equiv="refresh" content="1; url=latest/" /> | |
| </noscript> | |
| <script> | |
| window.location.replace("latest/" + window.location.hash); | |
| </script> | |
| </head> | |
| <body> | |
| Redirecting to <a href="latest/">latest/</a>... | |
| </body> | |
| </html> |