20191227 city.goa: Scrape off old asphalt during road repair