miredot/lib/lunr/js/lunr.js (1 line):
	- line 1409: // TODO: is this needed anymore?