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