Can you add references to external resources?

[umnikos]

I just solved the last puzzle in session 7 and from a closed issue request found out the previous puzzle is actually called the drinker's paradox. What is the last puzzle in session 7 called? Can we get something like "oh btw this is the drinker's paradox" after solving a level? Or, even better, external resources to serve as a tutorial on the theory behind the hilbert system or, even further, a barebones tutorial on what -> and _|_ mean for newcomers? It's a lot to ask for but even just giving the names of the puzzles would be satisfactory and it wouldn't be hard to program.