[Dev-luatex] # => ## in \directlua

[Jonathan Sauer]

Hello, 

> >> So `#' is transformed into `##' when passed from TeX to Lua.
> [...]
> This currently uses TeX's tokenlist print function, but I could
> make it behave differently, no problem (after all, this
> generated string is only 'seen' by the lua interpreter).

In that case: Please make it so.


> Best wishes,
> Taco

Thanks in advance,
Jonathan