My half-remembered guess would be that the rsync box doing the builds uses the latest tagged version of PhD, whereas the docs box uses the master in the Git master branch. To get the rest of the docs using the new changes, we'd need to make a new release of PhD.
BTW: I confirm your assumption. HTML tag for <envar> is different on docs.php.net.
-- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php