[Fix bug 1053762] Ng-switch on machine name.

Produces a <p/> element with machine name if machine name is unknown but
a normal link if the machine name is anything else.

Fixes bug 1053762.