We haven't used init.dart in several releases. We can safely remove this no-op
script now.