In any case, I agree it will be more profitable to mine when the mempool is bigger, but the *degree* to which miners will smooth over block-time variability depends on their costs.