Redirecting from
/docs.html/
to
/docs/