Large PDFs of workshop talks.

[bangerth]

#2 adds the uncritical one, but I have a few that are larger:

-rw-rw-r-- 1 bangerth bangerth  26158401 Aug 23 07:53 blais.pdf
-rw-rw-r-- 1 bangerth bangerth  98956207 Aug 15 11:12 scheuerman.pdf
-rw-rw-r-- 1 bangerth bangerth  44819564 Aug 15 13:37 tian.pdf

That is, of course, because these contains videos. What should I do with these?

[tamiko]

@bangerth I suggest to simply add them. We have the separate large assets repository precisely for that reason.

[bangerth]

OK. So what I hear you say is that you're ok with it if that repository grows to a couple of GB over time?

[tamiko]

@bangerth Yes. If it gets too bad we will have to trim it a bit.