I'm not 100% sure about demoting it to a `note`. In my opinion, notes are secondary information that complement the real information provided by the default text.

In this case, I think that we are talking about a very important issue. As not everybody uses a  modern PHP version, it's possible that they can't use the `server:run` command and therefore, we should provide help right away explaining the reason to them.