I know this is from the previous PR, but I forgot to ask back then: is this the error message we want to send? I guess it's a useful one for the end-user, but I'm wondering if it doesn't look sufficiently innocuous that an otter might miss it from the logs? (I guess you're supposed to know that history works :))