Arne Köhn

> Are you thinking of the git submodule approach here? No, I meant another repo. The thing is that fixing a bug is straight-forward now. With a separate repository, you...

Regarding this: > We also observed that only 74234 pdf files were downloaded Not all papers have PDFs that can be downloaded, so this is totally fine. Regarding the hash...

I don't understand why the start page switches to the mobile layout at the width it currently does. I already have to scroll the two tables but it is shown...

I don't think know but currently the switch does not correspond to any meaningful width of the site. I would probably like to have the switch later as the stacked...

This commit also fixes aria labels for the search box; forgot to mention that. Together with a better caching policy for our assets and enabling http/2, this should make the...

Good point regarding bootstrap CSS -- I will bump that as well. Re FontAwesomeCDN: The problem is as follows: fa is a css and a font (.woff2) resource. When we...

I made it a draft and will push this and that in the near future.

> It might also be a good time to update Hugo I already snuck in the relevant changes into this PR and use 0.85 locally :-)

Yes, I will continue to work on it soon-ish. Time to dust off my js&css skills from ~2004-2006 lol

I rebased and force-pushed this branch because I did not want to merge one year of work. This is still WIP, as a lot of CSS has changed (also, jquery...