Revert "Change the dot in section numbers to underscore, to get valid CSS class names"