polygen directive is supplied by the polygen plugin.
This directive allows inserting text generated by polygen into a wiki page. For example:
It's also possible to specify a starting nonterminal for the grammar by
symbol="text" in the directive.