>> A brief search suggests this is around 1/4000th of the total US treasury market, so if this has any significance at all, it's symbolic.

If someone thinks the value of those bonds is going to drop, then selling would have great significance for the seller.