Docs for dlopen'ing GSI libraries on demand. #4483