Translations:Manual:$wgExperimentalHtmlIds/4/en

Should we allow a broader set of characters in id attributes, per HTML5? If not, use only HTML 4-compatible IDs.