@BookBorsh thanks for your thorough reply!
I just updated Anki to the latest version, I was not doing that before because of the latest version being incompatible with the Card Retirement add-on.
With the latest version, I am able to export my Anki deck with the GUID field enabled. I then import it to Excel with the following menu:
Note that I don’t simply drag and drop the file into Excel because the Korean words in Hangul lose their formatting that way.
When uploading the file, I cannot select any import options for choosing a value of header lines == 3, though:
I have tried to also select “Transform Data”, which allows me to, at most, select the first row as the header:
In any case, I can simply delete the first three rows from the final table in a manual fashion.
This is indeed a very elegant way of working, I am going to explore it more. I guess I would have to generate myself a random GUID that hasn’t been before used in the table for any new rows that I further add to the table in Excel, before uploading it to Anki?