Aug 2019: Faster document printing