[ImplicitNulls] Add some clarifying comments; NFC