Never mind; I think I have a different solution. Thanks anyway.
@matigo @rabryst @anyone: I'm trying to restore a WordPress database backup. The file is here https://www.dropbox.com/s/ertp5r0ed9aohoj/fornoblogwp20170915_365.sql.gz?dl=0
When I try to gunzip in terminal, it says that the file is not zipped.
When I try to import directly in PHPMyAdmin it says #1064 - You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near '?t??Y' at line 1
I've opened the file in BBEdit and it certainly looks compressed to me, but Stuffit Expander doesn't seem to understand it either.
What now?