Remove now-defunct list_of_buildings_widget.