lightweight data race detection for production runs published presentations and documents on DocSlides.