The security implications of TLS 1.3 are not so grave as to demand an urgent migration. You'll notice that the rest of the internet is not in such a panic over it. BearSSL is compelling for many reasons, and though work is slow, it is definitely underway. We'll get there.