They might have already changed the name. It's TRSE. Near the top they call it the "full original name".

Sometimes "original name" means old name.

Either way I think they're prepared to change it to TRSE if they need to.