docs for IDP install, plus extra utility script