The new navigation drop down is usually intelligent, only displaying valid options. But if you remove all highlighting from a resource, it doesn't remove the "Highlighting" option until you close and re-open the resource.
Report submitted. Thanks.
