This is my archive of useful or interesting information. The
original source is printed on paper, or notes I have taken on paper,
which has the undesirable property of taking up space and leading to a
lot of clutter in my room. This way it is smaller and you can
benefit from it as well.