Das geht über den extension manager. connect to online repository beim rtehtmlarea auf den titel klicken. Dann kommt ein pulldownmenü wo die Version auswählen kannst. Gruß Michael