pdf: Provide more friendly saved PDF filename.
pdf: Use lock_wait().