findlib's home page is: http://projects.camlcity.org/projects/findlib.html It's using http instead of https. Some web proxy will just block http://xxx. I'm wondering if this situation could be improved a little bit.