Search

A flat index of the documentation pages and their keywords, matched in the browser. Ten pages is small enough that this is honest and instant; there is no server doing anything clever.