add properties for Extension Manager (not yet used in GUI)
add properties for Extension Manager (not yet used in GUI)


janissl/languagetool,languagetool-org/languagetool,meg0man/languagetool,jimregan/languagetool,lopescan/languagetool,lopescan/languagetool,languagetool-org/languagetool,meg0man/languagetool,janissl/languagetool,lopescan/languagetool,languagetool-org/languagetool,meg0man/languagetool,lopescan/languagetool,languagetool-org/languagetool,meg0man/languagetool,jimregan/languagetool,jimregan/languagetool,jimregan/languagetool,lopescan/languagetool,janissl/languagetool,janissl/languagetool,janissl/languagetool,languagetool-org/languagetool,jimregan/languagetool,janissl/languagetool,meg0man/languagetool