Undocument optional torproject.org certificate pinning option because not yet functional as per https://github.com/Whonix/Whonix/issues/24.