Hacker News Reader

Is there a way to download all of your emails from gmail in case such a situation happens to you?

Yes - it is fairly easy to dump your entire gmail account with 'google takeout'.

Then you can just download either a tar or zip file.

You can enable IMAP and then use one of the many solutions available. imapsync comes to mind.