Procore Technologies launched its IPO and the shares jumped by 31%. The company operates a leading cloud-based platform to manage construction projects, has over 800 customers and the ARR is more than $400 million. But if you look at the S-1 filing, there are some interesting details about the construction industry, including the investment in technologies has generally lagged.