On Mar 10, 2020, at 1:28 PM, Eric Rescorla <ekr@xxxxxxxx> wrote:+1. This can't have been an easy decision, but I think it's the right one.