We should lay out some more specific steps about which documentation to update, where, and how in our contributing docs + maybe PR template. Even better: can we automate that?