Notes

Short things I learned while working, written down so I do not lose them.