I do think we could give a more direct message related to the error they'll see. Something like:

    If you get the error `There are no commands defined in the "server" namespace.`, then
    your probably using PHP 5.3. That's ok! But the built-in web server is available...