Cualquier editor de texto viene con una función de búsqueda. Si no puedes descargar los archivos, cópialos a tu editor de texto y busca lo que sea ahí.
De todas formas, un identificar referenciado en JavaScript no tiene porqué estar necesariamente en el HTML, ya que se puede inyectar mediante el propio JavaScript.
