It looks like this history shows a degree of confusion on the original developer’s part. For example,
/path/to/certbot-auto is not meant to be typed in literally, but is meant to indicate to the user to substitute the actual directory path to the
certbot-auto program (which is different on every system because you decide where to download
certbot-auto). Also, the commands after the
$ were meant to be run as separate commands. The
$ symbol represents the command prompt from the OS, and is not meant to be typed in explicitly, nor is it meant to be combined with another command. The
$ is a convention to show that what follows is typed in response to the
$ prompt from the OS. Yet at least at first, your developer seems to have tried to type it in as though it were part of the commands in the tutorial. So, there are signs that your developer did not at first understand some of the conventions used in Unix-oriented documentation and tutorials—about what is or isn’t meant to be typed literally.
It looks like
certbot-auto was probably downloaded into
/opt/matchedb_forum, but I’m still not positive whether it was later used correctly from there.
Maybe you could try running
ls -l /opt/matchedb_forum/certbot-auto
sudo /opt/matchedb_forum/certbot-auto certificates