JS: highlight filter in node_info, improved