Is this the official location of libesphttpd?

I see that the git is on another server but that server doesn't have a web host or any seemingly meaningful way to contribute changes back.

I'm asking as I'm looking for a httpd for esp32 and this looks like it could be it but it isn't clear if this has been udpated to work with esp32 or not.