resource_pool: improve docs for release_resources()