Followup to #9167: Mark extension as write protected: Option now called "excludeFromU...