What is the improvement or update you wish to see?

I want to know what is the second parameter type of the redirect() function

https://nextjs.org/docs/app/api-reference/functions/redirect

Is there any context that might help us understand?

What exactly is RedirectType in that image.

None of these work, all of them error

redirect("/dashboard/ajustes/empresas", "push");
redirect("/dashboard/ajustes/empresas", "replace");
redirect("/dashboard/ajustes/empresas", { type: "push" });
redirect("/dashboard/ajustes/empresas", { replace: true });

Does the docs page already exist? Please link to it.

https://nextjs.org/docs/app/api-reference/functions/redirect