Fold default_paper_name into its only caller (thanks, Peter Breitenlohner)