Build of manual with non-ascii characters in HTML fails

Build of manual with non-ascii characters in HTML fails. Seems the CI configuration does not support UTF-8 by default.