I don't know. Not sure how it will play out but odd you can't search by ticker. I suppose it is possible but I have not read anything in a filing about a new ticker unless I missed it.
This is how it's always been, only 10,000 largest companies are available on ticket search I think? I've always had to search the full name on the SEC website