[Dev-luatex] string.explode()