Incremental build bug? Changing project option default isn't registering on incremental builds.

It would need more discussion than my gut feeling that it is not sufficient. There will be considerable work to do on the UI programs as well to convey what’s going on here. Please open an issue with the proposal (I suspect properties will be how it is actually implemented, so my code is still relevant, but there may be sugar for it).

Here is a link to the issue: