Mac users pick the name they want for OS X 10.9