There's no user facing changes here that I can tell. Is it worth omitting this in the notification but leaving it in the release notes?