Document VibeUseOldOpenSSL.