Ah. I've never used Grok so I was assuming that meant there was actually a repository on the user's home directory, something I know is pretty common.