extract AeshDocumentProxy