Translations:Manual:$wgExperimentalHtmlIds/2/en

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