Properly mirror document_get_from_page() in document_get_notebook_page()