w3c/respec — pull request #380 by tobie (2014-12-19 10:18:03+00:00)
Title: Specref search highlight & reverse lookup

Highlights search terms in Specref DB search results.

Add reverse-lookup search to find reference identifier from spec URL.