clarified signature: support different document_session, e.g. within running PIDE session;