OK: things are now MUCH much better. Will test further to see if killing the server manually still leaves hanging VLC.exe process. In the meantime, here's a fun question: can we get the video encoding to respect the aspect ratio of the source material?