This directory contains a stripped version of pugixml (1.12, retrieved at 20 May 2022).