How do I migrate my extensions?