Using anchors on PHP.net

Hello, sometimes I want to link to a specific part of the manual. For example, I wanted to link to the CURL specific option name, like this: http://php.net/manual/en/function.curl-setopt.php#CURLOPT_MAXREDIRS Is there some syntax to make javascript on the site highlight any header or any text? If not, don't you think it's a good feature to add? Thumbs up, Jakub Mareda