Redirecting from
/flowproof/docs
to
/flowproof/docs/getting-started