Is BearSSL still maintained? It looks like it hasn't been updated in almost 4 years.