更新の時にも除外ファイル指定は一応見てるので万が一のポカミスは防げるかもしれないけど、ボーナス機能であって仕様ではないのです。

developer_optionsは配布アーカイブに含ませるつもりで作ったけど別に含ませなくてもよい。
今後どうしてもないと動かないようなオプション指定入れる気もないし。