PDR Rename District

Just like the name suggests, with this tool, it is possible to rename districts as well as change the district's code. This function is predominantly aimed at situations where a new district is created by splitting the existing one.