Touch up the docs

The `mgc.sh` script is not available anywhere at this time.