Use the csv

Even better than json with names, because now we can copy and paste