Make tipps.pdf never expire (we link to it from the PSE page).

2 jobs for master in 40 seconds (queued for 2 seconds)
latest
Status Name Job ID Coverage
  Test
passed build #410495

00:00:40

passed build #309555

00:00:39