Comment by ETH_start

In principle, the documentation that's included in the code edit should have all the relevant information that a future agent would need.