Fix the docstring of gtags-mode-lighter.