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

New name: