The development environment resources are frequently modified by other people. That’s why I don’t want to import them with pulumi now.