Updated getter/setter for SGDocumentManager's documents property to keep state in RAM in sync with state on disk