====================== 1) EBNF tag file description =====================
Productions created from current behavior to aid extensions
-Francesco Potorti` <pot@gnu.org> 2002
+Francesco Potortì <pot@gnu.org> 2002
----------------
FF ::= #x0c /* tag section starter */