#102 auto-completion delays

[Leo Freitas]

Autocompletion is very nice: it gives not only help on Z terms of use, but also reference to names wihin the spec at hand.
It crashes / takes too long often. This is recent: it wasn't like that before? It shouldn't be so intrusive (e.g., give hour-glass
mouse / freeze keyboard) when it needs to delay so much.

L