+ remote debugging of PHP cli scripts possibility is now documented