Technical notes for future reference, to free up space in my brain. From time to time, some notes may be removed.