I'm not seeing the information about it having been run at $HOME, where are you seeing that?

The `repo_path` field.

	▲	drakythe 8 hours ago \| parent [-]
		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.