Automatic merge from submit-queue. removed deprecated munge script instructions There is no `hack/update-munge-docs.sh` script. Documentation should not refer to it.