I guess that the bug is in
lino.modlib.extjs.views.choices_response(),
and Tonis’s commit
37b2d0e9ee9117ddc81edf6df2c1ad5d394c9e2f
(for #2006 Fix quickfilter for simple choices filters)
might be to blame. But I did not yet understand.