These are some misc notes. I have tried to group them (see menu). Some of them may seem trivial or even outdated, but they were useful at the point of writing and could still be.