serialization: migration for ide changes (theme, js highlighter removal)
serialization: migration for ide changes (theme, js highlighter removal)

LivelyKernel/lively.morphic,LivelyKernel/lively.morphic