User-agent: Mozilla Thunderbird 1.0.6 (Windows/20050716)
I'm a bit confused by the need for this debate. As far as I'm concerned
PHP stopped being an acronym a while back. Why can't it just be PHP? Why
does it need to be redefined? Does anyone actually use the full name
these days? In essence, does it really matter?