Fixes #1719: Add extractor for tvp.pl