Redirecting to... /spec/index.html.