course visitors should find our resources more easily
Even though we have a (quite small) link to our gitlab courses repository, it is not obvious for a normal attendant that the material is stored there. Something like a "resources" section on the website would be awesome.