docbook manual source converted to UTF-8