ping. in trunk it's now at line 4774. if there is a reason not to make the change please let me know so i can fix my code. (but i assume this just has not made it to the priority list yet, which is just fine, it is the holiday season and all!)
thanks, christian
