[lutorm]

It was also my impression that holders of employee stock are not counted in the same way as normal shareholders, hence the tendency to limit third-party transactions of RSU shares. But I might be mistaken.