Addendum

Miscellaneous notes that don’t fit anywhere else.