I am migrating to a new laptop. I took a copy of my old home directory to an external drive before decommissioning it. I didn't do anything special to export anything from mysql-workbench first.
All the DBs I access are remote, so that data is not affected, but my connection preferences, passwords, and any other settings need to be recovered.
What files do I need to recover from my old home directory copy to recover my local state for mysql-workbench?