no completion on backspace -- too intrusive, e.g. when deleting keywords;
no completion on backspace -- too intrusive, e.g. when deleting keywords;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle