<!DOCTYPE html> <html> <head> <title></title> </head> <body> <script> location.replace('docs' + location.hash); </script> <input checked="disabled"> </body> </html>
