Hyperref support

[Pavel Sanda]

On Thu, May 14, 2020 at 11:15:26PM -0400, Richard Kimberly Heck wrote:
> I am not that familiar with hyperref. How should this option interact
> with the ones currently given: runparams.isFullUnicode() and
> runparams.use_japanese? Say the new one is runparams.checkedUnicode.
> What is the correct test here:
> 
>     if (!runparams.isFullUnicode() && !runparams.use_japanese)
>         opt += "unicode=true,";

Hmm... either having tristate check box automatic(default)/on/off or list with these three options would solve it.

But when I am more thinking about it, the best option would probably be to do a more generic change.
As noted we put additional settings into hypersetup instead directly into options when declaring usepackage.
Maybe we should allow it to go directly to usepackage options (or create new field for it, see also #10319).
In that case we would add one more check in the condition above ( && !hyperset.contains('unicode=') ).

Pavel