Re: better generation of vi ctags in ghci