So we had some setbacks with the font manager. It turns out we need all kind of different font libraries, and they are not interchangeable. So what...