[Dev-luatex] repository changes