[m110]

Thanks for the tip! I think we already use xelatex, as the book is created with pandoc (https://pandoc.org/).