Re #9259. Comment out (for now) line that the schema highlights as invalid.