Redirecting from
/docs/extensions/
to
/docs/ide/extensions