Tricki – a repository of mathematical know-how (2020)