Make ggtags-highlight-tag-at-point more efficient
Handle all 'global' output formats (OPTION: --result)