PDF outline headings, it turns out, should be encoded using either