Texas' Best Pico de Gallo

3 cups chopped onion (preferably Texas 1015; see note)
3 cups diced, firm pink-ripe tomato
2 avocados, diced (optional)
2 teaspoons finely chopped serrano or jalape