I'm at Step 3 of installing the Grav Server:
Now you can navigate to the root of your Grav installation in your terminal and then run:
bin/grav server
So I run this in the terminal, and I get:
[david@mycomputer bin]$ bin/grav server
bash: bin/grav: No such file or directory
What am I doing wrong?