Rework writing crypto/err/openssl.txt