Redirecting from
/docs.html
to
/portal/docs