<!-- This is a manually added redirect, since we changed the primary name of `acorn app` to `acorn ps`, but left `acorn app`
as an alias. This was not auto-generated. -->
import {Redirect} from "@docusaurus/router";

<Redirect to="./acorn_ps"/>
