Update ggtags description