Fix #56: Restore variable ggtags-completing-read-function