Obsolete user notes for curl_setopt

Hi everybody! There are currently 138 user notes for curl_setopt. I did a quick review, and it appears to me the following notes can be deleted, because the documentation has been updated accordingly in the meantime: <http://php.net/manual/en/function.curl-setopt.php#52844> <http://php.net/manual/en/function.curl-setopt.php#11132> <http://php.net/manual/en/function.curl-setopt.php#82300> <http://php.net/manual/en/function.curl-setopt.php#84277> <http://php.net/manual/en/function.curl-setopt.php#93108> <http://php.net/manual/en/function.curl-setopt.php#115131> <http://php.net/manual/en/function.curl-setopt.php#91978> <http://php.net/manual/en/function.curl-setopt.php#98751> -- Christoph M. Becker