It's the opposite of the "initial tagged" encoding. And additionally I think "final" has also some meaning in mathematics that is related (which makes that nam

It's the opposite of the "initial tagged" encoding. And additionally I think "final" has also some meaning in mathematics that is related (which makes that name a little bit of a pun afaik).