> That should have had generated more in capital gains than tax loss harvesting could offset.

only in the year he sold after the IPO.

RSU vests are taxed as ordinary income.