Update public-key.tex