Update public_keys.txt