When HTML5 is on, id's with more than one underscore in a row are converted the way one underscore remains only.
More underscores in a row is perfectly valid id, so absolutely no need to strip them.
This behavior breaks CSS and JS depending on such id's.
Version: unspecified
Severity: major
URL: http://test.wikipedia.org/wiki/User:Danny_B./html5