Fix issue #214

[thlinard]

Fix issue #214

[simoncozens]

While this is technically correct, the non_required status is a fudge for the fact that if we do require this, very many of our fonts will stop claiming to support German.

[thlinard]

While this is technically correct, the non_required status is a fudge for the fact that if we do require this, very many of our fonts will stop claiming to support German.

I think that's exactly what Dave meant when he said (#152):

Alright, I am convinced that, if a user searches for fonts that support German, and then Roboto, Poppins, Lato etc should not come up.

[simoncozens]

It is. And as shown in that thread, there were further discussions, and the change was reverted.

[thlinard]

The PR 152 was originally to move ẞ to the auxiliary character set. And indeed that change was reverted. But that left the situation where ẞ is both required and non-required.

With the current PR, "if a user searches for fonts that support German, […] Roboto, Poppins, Lato etc should not come up."