Updated the documentation.

We don't have to specify the ".patch" extension in all the commands anymore.