Comment by butz

This is great, no javascript. And while I am not a big fan of google search, alternative to open up all docs as single page and use Ctrl+F is neat.