Diff vanilla-sources-5.4.257 with a vanilla-sources-5.10.197

Thank you!