A new Texis update has been released (5.01.1146765139) which contains some minor PDF improvements, as well as fixes for stripping Unicode zero-width non-breaking spaces (BOM/byte-order-mark) in HTML. It can be obtained via the Maintenance -> Check for Updates menu.