More tool docs