Note that GEOS development headers are also required for speedups.

I think this is true.

Also, I'm not sure your requirements for documentation pull requests. Should I build the docs so that the HTML file is created too?