I agree. It was a WTF the first time I saw it. A mildly amused "I understand what's going on now" the next time and seriously annoyed all the following times.

This silly trick makes the docs unusable. If I need to use the PHP docs today, I need to use an alternative.