Is there some sort of style guide that asks not to refer to it as "PreCheck", in absence of a stupid emoji?