Manual:$wgExperimentalHtmlIds/en

Details
Should we allow a broader set of characters in id attributes, per HTML5?

This option is for testing -- when the functionality is ready, it will be on by default with no option.