Not sure what’s the best place, but I own https://hoogle.dev and I’m happy to transfer it to the foundation.