Implemented as requested. I have also briefly tested with ggtags and it
worked. Comments welcome. Thanks.