I'm sure this question has come up but I'm not sure what I should do - how do I get the debugger to work with PHP 5.1 (which, by the way, has been officially released now).

As always debugger modules are available to our customers per request. Just contact us, specify your server OS, hardware and php version, and we'll do our best to get you the module.

Thanks, email sent.