Yes, 100% correct. I didn't bother explaining further given the "background" .
Facts do matter to most, and indeed the date of the IPR proceedings (prior) to the markman had a material impact- which I mentioned prior but it was ignored "as per usual".
I assume an IPR institution doesn't have an effect on stock prices either to some ! Lol
Oh and to cut that off before it starts; Hedge funds actually file IPRs and short stocks to make money - see VHC as a recent example.
I have mentioned this whole discussion in the past thus the reason I didn't even bother - some choose to ignore factual information I guess!