UP districts: Bahraich-Shravasti error?

[HarryStevens]

Need to determine if the updated shapes of Bahraich and Shravasti are correct, or if there was an error in the Shristi(GIS-UP) shapefiles. See https://github.com/HindustanTimesLabs/shapefiles/tree/master/state_ut/uttarpradesh/district