Remove obsolete FAQ entry about a bug in PHP 4.2.3