I only noticed those googlebot searches on one day. They all came from the same IP. The https://example.com does lead to a real page. It is not a redirect. However, there are some redirects in my htaccess file that involve port 443. My host put them there when I first moved my site to his VPS server. All my old links were from https and he changed everything to use http://example.com. It used to be https://www.example.com. But those redirects did not work. I had to wait for all the old https links to expire before anyone could find me again. (Took about a month.) Most of those old links are gone now. But the (non-working) htaccess redirects are still there. I assume I can remove them. I've asked my host about them. Waiting for his reply.