> Besides, perhaps some developers want to include these files. You can't know their preferred workflow.

Their workflow wouldn't involve modifying `vendor/laravel/framework`, unless they want to contribute to laravel/framework.