doc: Add xref to GMP's import/export documentation.