The page https://openproject.org/download/manual-installation/ has some issues:

It’s showing:
“[user@host] command”
instead of
“[user@host] command”

Hello Chris,

thanks for your post.
This is indeed an error which is very annoying and makes the instructions very hard to use.
We are working on fixing this issue.
In the meantime, please have a look at the following wiki page which includes very similar information on the manual installation process:
https://community.openproject.org/projects/openproject/wiki/OP4_Debian_Stable_with_MySQL_in_production

Sorry for the inconvenience.

Thanks,
Robin