updates to relaxed-clock tutorial TeX