+++ /dev/null
-<html>
- <head>
- <script src="/docs/versions.js" charset="utf-8"></script>
- <script charset="utf-8">
- var versions = window.documentationVersions.sort().reverse()
- window.location = '/docs/' + versions[0] + '/core/introduction'
- </script>
- </head>
-</html>