Redirecting from
/docs/ide/settings/
to
/docs/settings?tab=ide