do not implicitly require lively.ide.SyntaxHighlighting