For what it's worth, I note that the last regular / daily hit from Bingbot from 13.55.139.0/24 on HTTPS happened on April 21. It also did stop on HTTP on the same day, but I see a pair of hits to the robots file and one specific PDF file on April 29 and May 19. Previously, I'd get about a dozen hits a day from that /24.