from “docs” to “drive”, docs.google.com to drive.google.com

I guess like many people on planet Earth, these days I received a message saying something like this:

Your 99 files stored in Google Docs are now in Google Drive

I wonder. whether they did a good job, letting all applications have access to the old paths for long enough.