As allow of you will have read a namespace separator for PHP was chosen. The discussions lasted more than 3 years and yes, we know most of the reasons why the chosen one is bad and §%§$&"& is way better before wasting your and our times by writing to mailing lists please read the archives. 90% of the proposals fail for simple technical reasons, 10% might technically work but have other problems which were considered. So: Decision made, let's go on and let's make sure the developer's list is there for doing productive stuff, 5.3 is delayed enough.

Thank you!