Occasionally you come across something that just works, and this extension is one of them. You then wait for the developers to stuff it up somehow in search of monetization, but so far this hasn't happened to Video Download Helper. I guess that there are enough people willing to pay for videos without a watermark that the program can be kept afloat and casual users like myself can continue with the free version. Anyway, thanks guys; much appreciated.