Notes

This section contains some random notes, which typically explain why things are done in a certain way.