Update documentation on --proxy argument to scripts.

Also clean up a bit of formatting around there.

Fix #119.