Current: /usr/share/man/man3/CTLOG_get0_public_key.3ssl.gz

New name: