20180510 city.delhi: More illegal extensions removed