<!DOCTYPE html>
<html>
<head>
  <meta charset="UTF-8"/>
  <meta http-equiv="refresh" content="0; url=/#toc"/>
  <title>dl? cmplnts?</title>
</head>
<body>
  <p>Redirecting to <a href="/#toc">/#toc</a>...</p>
</body>
</html>