no completion for complete keywords, to avoid confusion of 'assume' ~> 'assumes' etc.;
no completion for complete keywords, to avoid confusion of 'assume' ~> 'assumes' etc.;

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