Lines Matching refs:doubled
5209 % \pagegoal was set to the doubled \vsize above, since we restarted
