I dont think they have to file that they have sold any unless they are an insider. I also think that you can top up as of March 1st to over 5% and not have to file up until early next year. So you get a free ride in the shadows and could sell in December and no one would know you ever had the bigger position. Thats my plan lol, I want to fly under the radar and hope to load a lot more after March 1st.
It certainly is nice to see Thomas so bullish on the outcome here.