Merge pull request #710 from yoshuawuyts/tidy-agent-docs