Re #9259. Comment out (for now) line that the schema highlights as invalid.
Merge branch 'feature/9259_muon_mut' into develop