Subject: Re: A "live" profile is missing

From: Leo Famulari <[email-masked]>
Date: Wed, 12 Mar 2025 18:55:54 -0400

I haven't experienced this bug again, and I don't think we are going to
figure out what happened. Closing!