Any idea when the D will drop from the ticker? Read a comment that said typically companies don’t release PRs after a r/s until the ticker changes back.