I think that's nice--an additional functionality.  However, it would be good if GoogleDocs also gave individual documents the same functionality as an ordinary webpage to request no crawling.