He sold some stock before that shit show, but it was already planned to be sold long before that. Execs from large companies sell stock on a regular basis following a schedule they need to publish in advance. Can’t quite remember but I believe those schedules are published months before the actual sale of the stock.