@baldur I ought to have guessed that the one ligatures but no hyphenation was Chrome (because Google has put a lot of work into fonts) and that weasyprint was the other way around, but I managed to confuse myself. I looked at weasyprint a few months ago but gave up because it seemed complicated and geeky to set up. I may well take another look.