Nevermind - in this case the exception can't reach the client. But for other exceptions, I think we need to coordinate with some client-side changes so that users get good feedback.