fix bug that caused informative sections to be marked multiple times under some circumstances
v3.1.68
Merge branch 'develop' into ui

Conflicts:
	builds/respec-w3c-common.js