global (gtags) plugin