Handling of old lectures
I am not sure if we want to actively list the old lectures in the sidebar.
This MR implements a solution where old lectures are simply kept where they are, but removed from the TOC. This way, existing links to the lectures will still work, but the lectures will no longer be promoted.
I would also be fine to have some sort of "archive" somewhere, but I am not sure if this needs to be too prominent.