Fix View Navigator plugin manual name
It has to follow a specific naming rule to be found by our help system when pressing F1.