[Axiom-developer] hyperdoc searches with wildcards

[Martin Rubey]

Dear William,

you reported that hyperdoc searches with wildcards don't work on your
machine. (Bug #168)

Could you please try the fix proposed in #153 and tell me whether this works
for you. (I think it works for me, but I have so many patches applied, that I
can't tell which one fixed #168)

If yes, I can mark yet another bug report as duplicate!

Thank you,

Martin