Responding to myself: Err, no it shouldn't. `DocumentManager.getDocumentForPath` must be used in this case, because the file can be open/modified.