Yes, as well as pro-NK in broader ideological respects. I don't have the nuance on this though; maybe Marty Hart-Landsberg can help?
> Also 'Peoples Democracy', is that a take off on the popular front
> that ruled Korea in the immediate post-WWii years or is it a new
> phenomenon?
No, as far as I can gather, it was the autonomous, militant wing of the Korean democratic struggle, emphasising class struggle.