Redmine#3283: find more places to tag through the magic of "git grep"