Anybody know if it was only the windows wallet that was compromised? I hesitate to start up my linux wallet laptop to send my coins to newly created wallets. Maybe it's best to recover all wallets from seed on a fresh device...