@a3fac284 Thanks for noting that. Paul Farhi notes that CNN talked about this in panel discussions over the next few days — which is different, of course, from reporting it as major headline news at the time it happened.