In ArcGIS Enterprise help it list this github repository as the location for the Elevation Profile GP Tool. Where can we find the location of that tool to deploy in a close environment. http://enterprise.arcgis.com/en/portal/latest/use/elevation-profile.htm#ESRI_SECTION1_D30304753AA14739BA3DE869580B2101