Moving from MIAB to Proton Mail

Previously posted This question. I am now getting ready to make the move. The issue I run into is switching from MIAB External DNS to Gandi’s LiveDNS. I have I think, two different issues.
Problem 1. When I try to download the zonefile data from MIAB, it doesn’t download. On the External DNS page, I select the “download” button, a box of text pops up, I select “OK” at the bottom of that box, and the box closes. But I can’t see where there was a download.
Problem 2, I don’t see anyplace in the Gandi switch to LiveDNS where I could import the zonefile into Gandi.
In an attempt to overcome these two problems. I tried copying the text from the zonefile text box, and pasting that into Gandi’s LiveDNS Custom DNS text box, replacing what already exists in that box. When I do I get the following errors :

line 1, cause ‘first line can’t omit rrset_name’
line 2, cause ‘first line can’t omit rrset_name’
line 11, cause ‘can’t use ‘@’ for NS records (param: {‘rrset_name’: ‘@’, ‘rrset_type’: ‘NS’, ‘rrset_values’: [‘ns1.box.xxx.xxx.’], ‘rrset_ttl’: 86400, ‘line’: 11})’
line 12, cause ‘can’t use ‘@’ for NS records (param: {‘rrset_name’: ‘@’, ‘rrset_type’: ‘NS’, ‘rrset_values’: [‘ns2.box.xxx.xxx.’], ‘rrset_ttl’: 86400, ‘line’: 12})’