Last tweaks to grep and docs.