DocManhattan e i lavori di Super Mario