Generic highlighter: Interface for automatic download of available definitions. Refactorings and changes in related parts of the code.