20170710 city.delhi: Finally; public toilets that don't stink