Not related but another GitHub issue today: <a href="https://github.blog/2023-03-23-we-updated-our-rsa-ssh-host-key/" rel="nofollow">https://github.blog/2023-03-23-we-updated-our-rsa-ssh-host-k...</a> , <a href="https://news.ycombinator.com/item?id=35285390" rel="nofollow">https://news.ycombinator.com/item?id=35285390</a>