I think from the outside perspective, your framing of the "definition of Bitcoin" is a bit worrisome.
Obviously Core is not Bitcoin, but it is a default!
And as we've learned from the discussion, defaults are incredibly sticky.
Fragmenting the network's mempool/miner relationship (if we made datacarrier=0 by default let's say) would still be incredibly hard and require a huge, sustainable actor in the space to push non-standard transactions.
I think we are giving too much credit to that being a reality and not enough credit to the reality that the majority view Core as Bitcoin, and having to "prove" them wrong would be much more harmful than not.
For example, do you think having thousands of people switch to Knots is a good thing right now?
It is happening because of this debate, and I find it much more harmful (given Knots current fundamentals) than just closing the PR and continuing to monitor expected vs. actual blocks for the foreseeable future.
Also would like to state for the record I am in the nostr:nprofile1qyw8wumn8ghj7mn0wd68yttjv4kxz7fwwak8vuewwdcxzcm9qythwumn8ghj7mn0wd68ytnxd46zuamf0ghxy6t6qqsqyredyxhqn0e4ln0mvh0v79rchpr0taeg4vcvt64te4kssx5pc0sk99k65 camp, the default should be maximized, but config option not removed. Yes, I understand leaving the config option would only allow nodes to 'harm themselves' by obfuscating their mempool and fee rates but I frankly don't care.