Clarify php-curl vs. allow_url_include