Documentation: add missing quotes to "git grep" examples