[@ljmac Participant 3 years, 7 months ago]

As it turns out, the last time I did repairs this error was gone. But I appreciate your help anyway – if it happens again I will know what to look for.