styles/lunr.js (1 line):
	- line 1405: // TODO: is this needed anymore?