Update docs to reflect the fact that we split into lib/exec