Unofficial cross platform tool for migrating between browsers, backing up, and restoring from backups, "Reddit Enhancement Suite" aka RES settings.