Docs miscellaneous observations that don’t belong in our other categories are here.