Notes

Public notes, made in hope they are useful to someone.