This server hosts various lecture related resources